#git bot interface

History of !fixit

• @!fixup
  By SethRobertson at 2012-01-21 21:23:59
• !@fixup
  By SethRobertson at 2012-01-21 21:22:58
• So you lost or broke something or need to otherwise find, fix, or delete commits? Look at https://gist.github.com/1612395 for full instructions. For hints type !fixit_hints in IRC. Remember, if you have pushed there only a few things you can do without !rewriting_public_history (type that for more info)
  By SethRobertson at 2012-01-21 19:50:31
• Hints for fixing commits are: (1) NOT PUSHED/PUBLISHED: `git rebase -i $COMMIT^` or perhaps `git commit --amend` (or `git reset HEAD^`). (2) OTHERWISE, `git revert $COMMIT` to make a reverse commit. (3) If you have pushed and MUST remove it, use rebase or filter-branch and type !rewriting_public_history in IRC.
  By SethRobertson at 2012-01-21 19:49:53
• So you lost or broke something or need to otherwise find, fix, or delete commits? Look at https://gist.github.com/1612395 for full instructions. For hints type !fixit_hints in IRC. Remember, if you have pushed there only a few things you can do without !rewriting_public_history (type that for more info)
  By SethRobertson at 2012-01-21 19:49:53