Re: git://github.com/some/thing.git/?

From: Jeff King <peff@peff.net>
Date: Mar 28, 2012, 04:28 UTC
Message-ID: <20120328042826.GC30251@sigill.intra.peff.net>
In-Reply-To: <20120327184754.GA27070@burratino>

On Tue, Mar 27, 2012 at 01:47:54PM -0500, Jonathan Nieder wrote:

Show 6 quoted lines

> > For some definition of "we"; AFAICT, github has never allowed this, and
> > this is the first complaint
> 
> I complained and got a dismissive response about two years ago. ;-)  I
> am not sure if bugs from back then are tracked any more.  The URL in
> my records is [1].

I wasn't able to find the original discussion, as we've migrated through a few different support systems in the last few years. Probably it is in there somewhere, but I don't usually do support stuff, and I didn't think it was worth bothering the regular support people with it.

> > However, it turned out to be a one-line patch. I've pushed it out for
> > review by other GitHubbers.
> 
> Hoorah!  Thanks for taking care of it.

FYI, this is now deployed, and the various front-end machines are getting updated slowly over the next few hours (until then, it's non-deterministic whether it will work for you or not :) ).

-Peff