On Tue, 30 Oct 2007, Randal L. Schwartz wrote: > >>>>> "Linus" == Linus Torvalds <torvalds@xxxxxxxxxxxxxxxxxxxx> 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 - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
