From: Junio C Hamano <gitster@pobox.com>
Date: Sat, 08 Aug 2009 19:50:31 GMT
Subject: Re: [PATCH 5/9] add missing long options to 'git push bash completion'
Message-ID: <7v4osidr08.fsf@alter.siamese.dyndns.org>
In-Reply-To: <9f50533b0908080156n3e990a69lc54e8ab4f0422d0a@mail.gmail.com>

Emmanuel Trillaud <etrillaud@gmail.com> writes:

> according to git-push(1), the following long-options are missing to the bash
> completion :
> --porcelain
> --thin
> --no-thin

Does it even make sense to complete --porcelain in interactive session?

For that matter, I think being able to control --thin/--no-thin outlived
their usefulness.  Have you ever used them to toggle this aspect of the
behaviour per invocation?