Re: [PATCH v7 07/15] bugreport: add git-remote-https version
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Feb 20, 2020, 22:33 UTC
- Message-ID
- <nycvar.QRO.7.76.6.2002202333340.46@tvgsbejvaqbjf.bet>
- In-Reply-To
- <xmqqpneacim1.fsf@gitster-ct.c.googlers.com>
Hi Junio,
On Wed, 19 Feb 2020, Junio C Hamano wrote:
Show 16 quoted lines
> Emily Shaffer <emilyshaffer@google.com> writes: > > >> Also, in keeping with the existing code, we would need to use > >> `--build-options` here (this is what `git version` calls the equivalent > >> mode). > >> > >> _However_. > >> > >> I like your `--build-info` a lot more than `--build-options` (because the > >> latter is very misleading: the commit and the date of the build are not > >> "options" at all). > > > > Sure. Thanks for saying so. > > I don't think anybody would mind introducing --build-info to "git > version" as a synonym and deprecate --build-options from it ;-)
Heh. I almost suggested this. Almost.
Ciao, Dscho