3 ms·

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 4y ago
  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