[wolframhempel]

I suppose after typing `git push/pull/commit/whatever` about a million times, the git part at least is deeply ingrained in muscle memory by now

[yu3zhou4]

On point. Though if someone struggles with repeating themselves, I can recommend oh-my-zsh git aliases. They replace common git commands with shorter equivalents, like git push -> gp, git pull -> gl, etc