[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