Jeff King <peff@xxxxxxxx> writes: > On Mon, Aug 03, 2015 at 10:34:14AM +0200, Patrick Steinhardt wrote: > >> One more question for backwards compatibility remains then. >> Currently when we clone something like 'http://example.com:2222/' >> we'd create a git repository '2222' as we'd split on the first >> occurrence of ':'. Should we remain backwards compatible here, as >> well, or change the behavior to use 'example.com' as repository >> name? > > I don't think naming the repo "2222" makes much sense; I'd consider it a > bug. The only sensible names are "example.com" or "example.com:2222" > (the latter is more specific if you are going to clone the root off of > several different ports, but that seems rather unlikely; the former is > probably what I'd expect). Yeah, I tend to agree. -- 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