Re: [PATCH] add GIT_PATHSPEC_GLOB environment variable
- From
Jeff King <peff@peff.net>
- Date
- Dec 19, 2012, 22:20 UTC
- Message-ID
- <20121219222035.GA22998@sigill.intra.peff.net>
- In-Reply-To
- <7v38z18z6z.fsf@alter.siamese.dyndns.org>
On Wed, Dec 19, 2012 at 02:16:52PM -0800, Junio C Hamano wrote:
Show 11 quoted lines
> Jeff King <peff@peff.net> writes: > > >> Will queue; thanks. > > > > Do we want to change the variable name and invert the logic? > > That would be my preference. > > I am deep into today's integration cycle, and this PATHSPEC_GLOB > version is sitting at the tip of 'pu', so today's pushout will > contain that version, though.
That's fine. I'll send out a revised version, and you can pick it up later.
-Peff