Git cheat sheet

Few projects I'm involved with started using git for source code management. Here are my notes, for my own reference as well as service to others.

Here's the list, continuously updated:

Push current branch to repo as a branch:

git push <repo> <remote branch name>

Revert modifications to a file:

git reset --hard HEAD