Re: [PATCH 1/2] trace2: rename environment variables to GIT_TRACE2*
- From
Derrick Stolee <stolee@gmail.com>
- Date
- May 28, 2019, 16:46 UTC
- Message-ID
- <f03e2ba6-36d8-d82b-3349-61341365b94e@gmail.com>
- In-Reply-To
- <xmqq36ky5ywr.fsf@gitster-ct.c.googlers.com>
On 5/28/2019 12:25 PM, Junio C Hamano wrote:
Show 11 quoted lines
> SZEDER Gábor <szeder.dev@gmail.com> writes: > >> For an environment variable that is supposed to be set by users, the >> GIT_TR2* env vars are just too unclear, inconsistent, and ugly. > > FWIW, I personally am in favor of this change and would prefer to see > this done before the use of the names with unguessable abbreviation > gets ingrained too deeply. > > I do not see any objections around these two patches after waiting > for a week or so, but I do not see any Yay!s, either, so ...
Talking with Jeff offline, we have no objections to the new names.
We'll need to do some follow-up work on our side as we update our version of Git, but that's not an issue.
Thanks, -Stolee