git ready » push and delete remote branches
git branch -a
git push origin :branchtodelete
git branch -d branchtodelete
Everyone thinks the command should be: git branch -d remote/origin/branchtodelete
Subscribe to:
Post Comments (Atom)
The HowTo blog when the other HowTo's need a few extra notes.
No comments:
Post a Comment