Various utilities for doing stuff with git at the command line