Faster git commands in .bash_prompt