/dev/random

Git: cleanup merged branches

Delete local branches already merged to develop.

$ git br --merged develop | grep -v 'develop|master' | xargs git br -d