Miscellaneous git aliases and commands