I didn't realize you could modify git command names. Initially it sounds like a good idea but I'm not sure I want to break my muscle memory. Saving a few keystrokes isn't worth the frustration and mistyping when I need to work from someone else's computer. This xkcd comes to mind: https://xkcd.com/1806/