Delete local Git branches after deleting them on the remote repo

Question

I want to have my local and remote repositories always in sync in terms of branches.

After a Pull Request review on GitHub, I merge and remove my branch there (remot

Answer 1

In the event that you've just pushed and merged your branch to master, then do the following in git bash:

git branch -d branch_name_to_delete

If you're currently in that branch it will push you back to master. At this point do a pull with

git pull