Files
dotfiles/.config/zsh/zshrc.d
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
2022-02-20 23:48:59 +01:00