As of Git v1.7.0, you can delete a remote branch using :
git push origin --delete <branchName>
And you can do exactly the same with a tag
git push origin --delete <tagName>
Sources :
- for branch stackoverflow.com
- for tag W3docs
As of Git v1.7.0, you can delete a remote branch using :
git push origin --delete <branchName>
And you can do exactly the same with a tag
git push origin --delete <tagName>
Sources :