#git bot interface

History of !git-stitch-repo