delete all remote branches that have already been merged into master

gistfile1.txt

$ git branch -r --merged | 
  grep origin | 
  grep -v '>' | 
  grep -v master | 
  xargs -L1 | 
  awk '{split($0,a,"/"); print a[2]}' | 
  xargs git push origin --delete

Here's a bash version, that doesn't rely on awk or sed or xargs.

for branch in $(git branch -r --merged master | grep origin | grep -v develop | grep -v master);
do
  git push origin --delete "${branch##*/}";
done

Clearest solution I've seen, it makes the intent much more explicit than a long chain of awk/sed/xarg calls.

Only thing I'd add is that it doesn't quite work for branches that have a '/' in the name - if branch="origin/foo/bar" then ${branch##*/} will be "bar" and not "foo/bar"! You can fix by using the non-greedy single # to match the substring:

for branch in $(git branch -r --merged master | grep origin | grep -v develop | grep -v master)
do
  git push origin --delete "${branch#*/}"
done

My solution to prune merged branches from local + multiple remotes, based on snippets above:

https://gist.github.com/ryanc414/f7686d2c97808b41ed8518a5840e2d78