A few aliases for git, misc