bash, shortcut of git commands