Koen Van der Auwera

Follow @atog on Micro.blog.

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

← An IndieWeb Webring πŸ•ΈπŸ’ β†’