From 9e8a6a9433d2e750779a90663e2e9dca8a8c5c71 Mon Sep 17 00:00:00 2001
From: John Keeping <john@keeping.me.uk>
Date: Tue, 22 Jul 2014 19:24:57 +0100
Subject: [PATCH] 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>
---
 contrib/completion/git-completion.bash | 1 +
 1 file changed, 1 insertion(+)

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=
 		"