Abbreviations for git for the git shell

No pipelines have been run yet.