Share your git tricks here.
git push --delete <branch_name>: Delete remote branch. see: http://stackoverflow.com/questions/2003505/delete-a-git-branch-both-locally-and-remotelygit push --all: To push all branches and the master files to GitHub use