Abbreviations for git for the git shell