#git bot interface
History of !pull_vs_rebase
@!merge_or_rebase
By Eugene at 2016-06-01 17:04:30