#git bot interface

History of !break_gfm