Git clean

After a PR is merged, your local branch can pile up and just start to stink. Make this gitclean.sh handy.

git branch | grep -v master | xargs git branch -D
git remote prune origin