Git remote names already aren't "url"s in the http sense.
We say "master:some.host/file/goes here/without/any/stupid/web-escapes"
for the ssh names, and the same goes for "file:///name here" etc.
People who think that git URL's are web-pages had better wake up and smell
the coffee. They aren't. They never were. They never *should* be.
This whole argument is idiotic. The #branch format was a mistake of
cogito. Cogito is dead. Get over it already.
We have a format already, and it has nothing to do with '#' or any idiotic
web escape, or anything else.
Linus
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html