Merge pull request #1691 from NoahGorny/git-push-delete-alias

git: Add git push --delete alias
2020-10-28 07:32:15 +02:00 · 2020-10-28 07:32:15 +02:00 · 93cc173815
parent 40d154cb16 313abebbb0
commit 93cc173815
1 changed files with 1 additions and 0 deletions
--- a/aliases/available/git.aliases.bash
+++ b/aliases/available/git.aliases.bash
@ -28,6 +28,7 @@ alias gpr='git pull --rebase'
 alias gpp='git pull && git push'
 alias gup='git fetch && git rebase'
 alias gp='git push'
+alias gpd='git push --delete'
 alias gpo='git push origin HEAD'
 alias gpu='git push --set-upstream'
 alias gpuo='git push --set-upstream origin'