Source: https://stackoverflow.com/a/6127884/3523645
git branch --merged | egrep -v "(^\*|master|dev)" | xargs git branch -d
Problem: If pull-request are merged into the main branch using a "squash" strategy and then the remote branches are removed,