Re: remote#branch

From: Nicolas Pitre <nico@cam.org>
Date: Oct 30, 2007, 20:36 UTC
Message-ID: <alpine.LFD.0.9999.0710301631150.21255@xanadu.home>
In-Reply-To: <86tzo81hrd.fsf@blue.stonehenge.com>

On Tue, 30 Oct 2007, Randal L. Schwartz wrote:

Show 15 quoted lines

> >>>>> "Linus" == Linus Torvalds <torvalds@linux-foundation.org> writes:
> 
> Linus> So the only argument really is:
> 
> Linus>  - Nobody has pointed to *any* reason to follow 1738.
> 
> Linus>  - I have pointed to reasons *not* to do it.
> 
> I can support non-compliance with 1738.  However, I'd also suggest
> that outside of this cozy group of developers, URL already has a heavily
> defined meaning associated with 1738.
> 
> Therefore, I propose that the git docs refrain from calling these things
> "URLs" because they're not, and instead adopt something like "GRL" (git
> resources locator) or whatever.

And what do you do with the remote.<name>.url config option? Add some backward compatibility cruft for some... well... issue that turns out not to be one in practice?

Again, can someone point to a real usage scenario where all this discussion is solving something?

Nicolas