Johannes Schindelin wrote:
No, that was not _at all_ my argument.
I said that hiding it under a different name _that you have to look up,
too_ does _not_ make things easier.
Granted, *IF* we had to look it up, but we don't. In fact, we use the
convention
servername.foo.bar
has nickname
servername
So, we need to know the server name we are using, and that server name
is the nickname. So, no confusion and no extra lookup step. (Our server
names are unique without the domain suffixes, so this works well for us).
Mark
-
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
