Re: [PATCH] gitremote-helpers.txt: rename from git-remote-helpers.txt
- From
Matthieu Moy <matthieu.moy@grenoble-inp.fr>
- Date
- Jan 31, 2013, 20:18 UTC
- Message-ID
- <vpqpq0lw1ge.fsf@grenoble-inp.fr>
- In-Reply-To
- <fc96ae61bb64ce19e856d7a1624e2130c99afd47.1359662569.git.john@keeping.me.uk>
John Keeping <john@keeping.me.uk> writes:
> Would we want to do something to avoid breaking links to the existing > document as well?
That would be nice to add a new git-remote-helpers.txt saying "document has moved, see linkgit:gitremote-helpers.txt[1], so that HTML links to http://git-scm.com/docs/git-remote-helpers and friends do not get broken, yes.
-- Matthieu Moy http://www-verimag.imag.fr/~moy/