delete remote merged git branches

index.sh

git branch -r --merged develop | sed 's/ *phil\///' | grep -v 'master$' | grep -v 'develop$' | grep -v '^  dave' | grep -v '^  kevinbrowne' | xargs -I% git push phil :%

# mostly likely change the first part to master. use this branch to test if things have been merged in
# sed part. use this to remove the name of your remote in my case phil. most likely to be origin
# grep any branches you want to keep
# last part. change name to your remote
# you can do a dry run by removing the last section