From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 31 Jan 2013 20:36:16 GMT
Subject: Re: [PATCH] gitremote-helpers.txt: rename from git-remote-helpers.txt
Message-ID: <7v1ud1gke7.fsf@alter.siamese.dyndns.org>
In-Reply-To: <vpqpq0lw1ge.fsf@grenoble-inp.fr>

Matthieu Moy <Matthieu.Moy@grenoble-inp.fr> writes:

> 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.

Yeah, John's patch fixes internal links, but this will make links
from other sites stale.  Adding to our installation rule to put a
handcrafted HTML page that says "The document moved here; please let
the owners of the referring site to know so that they can update the
link you clicked to get here" would be appropriate, I think.