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

From: Jonathan Nieder <[email-masked]>
Date: Mon, 8 Jul 2013 17:29:34 -0700

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: Jonathan Nieder <[email-masked]>