Miscellaneous git scripts and utilities