If you have a remote git repo, and you want to delete a branch there, you can do:
[bash]
# if you want to delete the branch locally first, do:
git branch -D branchname
# then also remotely
git push origin –delete branchname
[/bash]
If you have a remote git repo, and you want to delete a branch there, you can do:
[bash]
# if you want to delete the branch locally first, do:
git branch -D branchname
# then also remotely
git push origin –delete branchname
[/bash]