Git Tip: How to Delete a Remote Branch
This is one of the many git functions I always have to look up, and it always makes me insane at its non-intuitiveness. However, as it is a necessary evil, I thought it useful to capture it here. Believe it or not, you have to use git push to delete. You heard that right. Stop gawking. Jaw …