From: Tomas Carnecky Date: Thu, 31 Jan 2013 22:28:10 GMT Subject: Re: [PATCH] gitremote-helpers.txt: rename from git-remote-helpers.txt Message-ID: <1359671290-ner-7089@calvin> In-Reply-To: On Thu, 31 Jan 2013 20:08:14 +0000, 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'.