#git bot interface

History of !git_vs_github