#git bot interface
History of !pull_or_rebase
@!merge_or_rebase
By EugeneKay at 2013-09-13 00:54:18