Git tricks

• Undo a naughty commit:

  git reset --soft HEAD~1