git: More shortcuts