completion: add some missing options to git push

johnkeeping · gitster · commit 9e8a6a9433d2 · 2014-07-22T13:23:39.000-07:00
Signed-off-by: John Keeping &lt;john@keeping.me.uk&gt;
Signed-off-by: Junio C Hamano &lt;gitster@pobox.com&gt;
diff --git 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=
 		"

Original file line number	Diff line number	Diff line change
`@@ -1635,6 +1635,7 @@ _git_push ()`
`1635`	`1635`	`--*)`
`1636`	`1636`	`__gitcomp "`
`1637`	`1637`	`--all --mirror --tags --dry-run --force --verbose`
	`1638`	`+ --quiet --prune --delete --follow-tags`
`1638`	`1639`	`--receive-pack= --repo= --set-upstream`
`1639`	`1640`	`--recurse-submodules=`
`1640`	`1641`	`"`