Git: more useful aliases than ever