This is a continuation of my earlier post about pruning deleted branches
To delete a local branch
git branch -d <branch_name>
or you can ‘force’ a delete if you have uncommitted changes
-D is the same as
git branch -D <branch_name>
To delete the branch remotely, simply do …
git push --delete <remote_name> <branch_name>
You can also do it like that if you prefer.
git push <remote_name> --delete <branch_name>
Again, you can use
If you want to delete a remote and local branch, it is easier to first delete the remote branch and then the local branch.
You can then go ahead and prune all the branches.
git fetch --all --prune