Niet hetzelfde als hoe ik het deed, maar dit is ook wel een mooie oplossing. Git tip: deleting old local branches.
Of: git branch -vv | grep 'origin/.*: gone]' | awk '{print $1}' | xargs git branch -d
Koen's blog
Ik typ. Ik typ voor mijn Sien, Arwen, Mila en Nienke.