When you use git you often create a hell lot of custom branches. This is annoying.

With using a PR based workflow this results into proper merges, so we can truncate those branches.

git checkout master
git branch --merged | grep -v "\*" | xargs -n 1 git branch -d