#git bot interface
History of !revert_merge
@!faulty_merge
By canton7 at 2013-12-19 08:31:26