#git bot interface

History of !remove_commit