Re: [PATCH] gitremote-helpers.txt: rename from git-remote-helpers.txt

2013-01-31 Thread Junio C Hamano
Tomas Carnecky writes: > On Thu, 31 Jan 2013 20:08:14 +, John Keeping wrote: >> This is the patch to rename it to "gitremote-helpers.txt". >> >> Documentation/{git-remote-helpers.txt => gitremote-helpers.txt} | 6 +++--- > > It feels somewhat weird to have 'git-remote' but 'gitremote-helper

Re: [PATCH] gitremote-helpers.txt: rename from git-remote-helpers.txt

2013-01-31 Thread Tomas Carnecky
On Thu, 31 Jan 2013 20:08:14 +, John Keeping wrote: > This is the patch to rename it to "gitremote-helpers.txt". > > Documentation/{git-remote-helpers.txt => gitremote-helpers.txt} | 6 +++--- It feels somewhat weird to have 'git-remote' but 'gitremote-helpers'. -- To unsubscribe from this l

Re: [PATCH] gitremote-helpers.txt: rename from git-remote-helpers.txt

2013-01-31 Thread Junio C Hamano
Matthieu Moy writes: > John Keeping 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:

Re: [PATCH] gitremote-helpers.txt: rename from git-remote-helpers.txt

2013-01-31 Thread Matthieu Moy
John Keeping 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-helpe