#git bot interface

History of !fetch-vs-pull