Don’t forget to do a git fetch –all –prune on other machines after deleting the remote branch on the server. ||| After deleting the local branch with git branch -d and deleting the remote branch with git push origin –delete other machines may still have “obsolete tracking branches” (to see them do git branch -a). To get rid of these do git fetch –all –prune.
https://stackoverflow.com/questions/2003505/how-do-i-delete-a-git-branch-locally-and-remotely



