]> granicus.if.org Git - git/commit
projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 47a5918) | patch
builtin/push.c: use OPT_BOOL, not OPT_BOOLEAN
authorJunio C Hamano <gitster@pobox.com>
Mon, 8 Jul 2013 21:50:27 +0000 (14:50 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 9 Jul 2013 05:19:15 +0000 (22:19 -0700)
commitab22d2eb83c1810043bfa07dd142594580e093be
treeec91419f92123b9584672115d26e7dd8c266c8eatree | snapshot
parent47a59185369b8905ad3a4012688cba92fd2ac1ffcommit | diff
builtin/push.c: use OPT_BOOL, not OPT_BOOLEAN

The command line parser of "git push" for "--tags", "--delete", and
"--thin" options still used outdated OPT_BOOLEAN.  Because these
options do not give escalating levels when given multiple times,
they should use OPT_BOOL.

Signed-off-by: Junio C Hamano <gitster@pobox.com>
builtin/push.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.