On Thu, Jan 31, 2013 at 03:04:55PM -0800, Jonathan Nieder wrote: > Jeff King wrote: > > > Maybe it is just me, but the fact that accessing the manpage is now: > > > > man gitremote-helpers > > > > feels weird to me. I know it technically follows our syntactic rules, > > but having the lack of dash be significant between "git" and "remote", > > but then having a dash later makes it hard on the eyes. > > Yes. I have thought for years that it should be git-remote-helpers, > that "git help" should be tweaked to look for that, and that the > existing gitrepository-layout and friends should be replaced with > redirects.
What was the original rationale for the "gitfoo" form? Was it just to visually distinguish command manpages from non-command manpages? I can't remember the origins now. It does seem like it is causing more hassle than it is worth, but maybe there is something I am forgetting. -Peff -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
