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
I had the same question and I could solve it with a simple command line:
git branch -d $(git branch --merged | grep -v "master")
First of all, do a git pull origin
to make sure it will work fine.
The subshell first returns all branches that were merged to your current branch (make sure you have master branch checked out!!!), except for master which can be on the list if you don't use grep -v
. Then, all merged branches will be simply removed from your local repo by git branch -d