git-tricks Share your git tricks here. Branches git push --delete <branch_name>: Delete remote branch. see: http://stackoverflow.com/questions/2003505/delete-a-git-branch-both-locally-and-remotely