#git bot interface

History of !rewriting_public_history