#git bot interface

History of !learn_git_branching