[PATCH] 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 gits...@pobox.com --- builtin/push.c | 6 +++--- 1

Re: [PATCH] builtin/push.c: use OPT_BOOL, not OPT_BOOLEAN

Junio C Hamano wrote: 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. Thanks. Looks obviously correct, so Reviewed-by: