Two new shell aliases for git