If your Git client does not clean-up the local branches after those branches got deleted in your remote repository, you can run this command to get rid of them:
1 |
git remote prune origin |
This remote prune command deletes everything under the origin path if it no longer exists on the remote server. That makes it a helpful command to get your repository in sync with your teammates.