SyntaxFix
Write A Post
Hire A Developer
Questions
The easiest way to do this is to delete the branch remotely and then use:
git fetch --prune (aka git fetch -p)