Delete all git branches that have been already merged into master

remove_branches.sh

git branch -a --merged master |             # merged to master
grep -v '>' |                               # branch pointers exception
grep -v 'master\|develop' |                 # exceptions
xargs -L1 |                                 # get the first column
tee >(grep origin | 
      awk '{split($0,a,"/"); print a[3]}' | 
      xargs git push origin --delete) |     # remove remotes
xargs git branch -d                         # remove local