Git-tools A collection of scripts for working with git. rmb.sh: A script for removing merged branches