From: Jonathan Nieder <jrnieder@gmail.com>
Date: Tue, 09 Jul 2013 00:29:34 GMT
Subject: Re: [PATCH] builtin/push.c: use OPT_BOOL, not OPT_BOOLEAN
Message-ID: <20130709002934.GX408@google.com>
In-Reply-To: <7vsizoyap9.fsf@alter.siamese.dyndns.org>

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 <jrnieder@gmail.com>