Re: [PATCH] Rename {git- => git}remote-helpers.txt

On Thu, Jan 31, 2013 at 03:04:55PM -0800, Jonathan Nieder wrote:

Jeff King wrote:

quoted

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