#git bot interface

History of !merge_or_rebase