Some of my tweaks for using git more efficiently