diff options
author | John Keeping <john@keeping.me.uk> | 2014-07-22 22:24:57 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-07-23 00:23:39 +0400 |
commit | 9e8a6a9433d2e750779a90663e2e9dca8a8c5c71 (patch) | |
tree | 1ac031349628ec81f3607d6186a3afef7c9a12d5 /contrib | |
parent | 3a224ff2bbb8a3782d6db67426aa8bc09063ab08 (diff) |
completion: add some missing options to `git push`
Signed-off-by: John Keeping <john@keeping.me.uk>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib')
-rw-r--r-- | contrib/completion/git-completion.bash | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/completion/git-completion.bash b/contrib/completion/git-completion.bash index b27f385adc..4a4ce7be25 100644 --- a/contrib/completion/git-completion.bash +++ b/contrib/completion/git-completion.bash @@ -1635,6 +1635,7 @@ _git_push () --*) __gitcomp " --all --mirror --tags --dry-run --force --verbose + --quiet --prune --delete --follow-tags --receive-pack= --repo= --set-upstream --recurse-submodules= " |