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-remotely
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-remotely