Useful git commands

gistfile1.sh

# To undo a git push
git push -f origin HEAD^:master

# To get to previous commit (preserves working tree)
git reset --soft HEAD

# To get back to previous commit (you'll lose working tree)
git reset --hard HEAD^

# To get back to a specific commit
git reset --hard <sha1-commit-id>

# To force update the remote repo
git push origin HEAD --force