How to delete a remote & local git branch

To delete just the remote branch:
git push origin --delete your_branch_name
You might also choose to delete only your local branch that might also correspond to a remote branch:
git branch -d your_branch_name

Comments

Popular posts from this blog

Eclipse sucks, so use NetBeans!

Tuning ext4 for performance with emphasis on SSD usage

Tuning ext3 for performance without losing its data integrity potential