Some miscellaneous git extension scripts