commit | ab22d2eb83c1810043bfa07dd142594580e093be | [log] [tgz] |
---|---|---|
author | Junio C Hamano <gitster@pobox.com> | Mon Jul 08 14:50:27 2013 -0700 |
committer | Junio C Hamano <gitster@pobox.com> | Mon Jul 08 22:19:15 2013 -0700 |
tree | ec91419f92123b9584672115d26e7dd8c266c8ea | |
parent | 47a59185369b8905ad3a4012688cba92fd2ac1ff [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>