Re: [PATCH] gitremote-helpers.txt: rename from git-remote-helpers.txt
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jan 31, 2013, 22:45 UTC
- Message-ID
- <7vpq0ldlaf.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <1359671290-ner-7089@calvin>
Tomas Carnecky <tomas.carnecky@gmail.com> writes:
Show 6 quoted lines
> 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.*").