diff options
| author | Junio C Hamano <gitster@pobox.com> | 2013-07-08 21:50:27 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-07-09 05:19:15 (GMT) |
| commit | ab22d2eb83c1810043bfa07dd142594580e093be (patch) | |
| tree | ec91419f92123b9584672115d26e7dd8c266c8ea /remote.c | |
| parent | 47a59185369b8905ad3a4012688cba92fd2ac1ff (diff) | |
| download | git-ab22d2eb83c1810043bfa07dd142594580e093be.zip git-ab22d2eb83c1810043bfa07dd142594580e093be.tar.gz git-ab22d2eb83c1810043bfa07dd142594580e093be.tar.bz2 | |
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>
Diffstat (limited to 'remote.c')
0 files changed, 0 insertions, 0 deletions