#git bot interface

History of !learn-git-branching