Some commands about Git

To delete a local branch

git branch -d the_local_branch

To remove a remote branch

git push origin :the_remote_branch

Local ignore, not pushed

vi .git/info/exclude

Log before merge

git log `git merge-base A B`…B

Get a different version of a file

git cat-file -p <branch|sha1>:./<file> ><file>

Restore directory as just cloned

git clean –force -x git status –ignored