How to Remove Remote Git Branches (snippet)
This snippet provides commands for removing local branches that have been deleted from the remote, using both Powershell and bash.
For both shells, run these commands:
git fetch
git remote prune origin
Any remote branches that you have locally but that have been removed from the remote are now marked as gone.
Continue Reading