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

For people using powershell, this is the equivalent to the answer above:

git branch -vv | Select-String -Pattern ': gone]' | ForEach-Object{($_ -split "\s+")[1]} | %{ git branch -D $_ }

1. Filter all the branches that are marked as gone
2. Call git branch -D on each of the found branches