diff options
author | Yago Nobre <yagonobre@users.noreply.github.com> | 2018-09-12 14:05:57 -0300 |
---|---|---|
committer | Marc Cornellà <marc.cornella@live.com> | 2018-09-12 19:05:57 +0200 |
commit | 0db7da0cd5c72611e8f9bdf184bafe15f9f09668 (patch) | |
tree | ea4e9819a67e66a6cbd5d322899ee4f5e1b7477c | |
parent | a3afeca3ebb613d5290c481a9766e11d95f3d9bb (diff) | |
download | zsh-0db7da0cd5c72611e8f9bdf184bafe15f9f09668.tar.gz zsh-0db7da0cd5c72611e8f9bdf184bafe15f9f09668.tar.bz2 zsh-0db7da0cd5c72611e8f9bdf184bafe15f9f09668.zip |
git: add push force aliases (#6297)
* gpf to --force-with-lease
* gpf! to --force
-rw-r--r-- | plugins/git/git.plugin.zsh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/plugins/git/git.plugin.zsh b/plugins/git/git.plugin.zsh index a65826852..1d548d12d 100644 --- a/plugins/git/git.plugin.zsh +++ b/plugins/git/git.plugin.zsh @@ -202,6 +202,8 @@ alias gma='git merge --abort' alias gp='git push' alias gpd='git push --dry-run' +alias gpf='git push --force-with-lease' +alias gpf!='git push --force' alias gpoat='git push origin --all && git push origin --tags' compdef _git gpoat=git-push alias gpu='git push upstream' |