On point. Though if someone struggles with repeating themselves, I can recommend oh-my-zsh git aliases. They replace common git commands with shorter equivalent

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