Julian Prein 020a132c13 zsh:alias: Alias gp to git push ...

As I mostly fetch and then merge or rebase instead of pulling `git push`
can have the shorter variant of its alias.

2022-02-20 23:52:13 +01:00

5.3 KiB

Raw Blame History

View Raw