From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 31 Jan 2013 22:45:12 GMT
Subject: Re: [PATCH] gitremote-helpers.txt: rename from git-remote-helpers.txt
Message-ID: <7vpq0ldlaf.fsf@alter.siamese.dyndns.org>
In-Reply-To: <1359671290-ner-7089@calvin>

Tomas Carnecky <tomas.carnecky@gmail.com> writes:

> On Thu, 31 Jan 2013 20:08:14 +0000, John Keeping <john@keeping.me.uk> 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'.

But the remote helpers are not helpers to "git remote" (which is
essentially a glorified wrapper around "git config -l remote.*").