Files
dotfiles/.config/zsh
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
..
2022-02-20 23:52:13 +01:00
2021-02-26 12:26:57 +01:00