Mar posted 20 Mar 2009 and tagged git
Delete a local branch:
git branch -D name_of_branch
Pop out
$ | git branch -D name_of_branch |
Delete a remote branch:
git push origin :name_of_branch
Pop out
$ | git push origin :name_of_branch |
Remove deleted remote branches from your list:
git remote prune origin
Pop out
$ | git remote prune origin |