#git bot interface

History of !pull_or_rebase