William’s miscellaneous git tools. very handy.