diff options
| author | John Keeping <john@keeping.me.uk> | 2014-07-22 19:24:57 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2014-07-22 13:23:39 -0700 |
| commit | 9e8a6a9433d2e750779a90663e2e9dca8a8c5c71 (patch) | |
| tree | 1ac031349628ec81f3607d6186a3afef7c9a12d5 | |
| parent | 3a224ff2bbb8a3782d6db67426aa8bc09063ab08 (diff) | |
| download | git-9e8a6a9433d2e750779a90663e2e9dca8a8c5c71.tar.gz | |
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>
| -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= " |