From: Shawn Pearce Date: Thu, 07 Jan 2016 03:31:14 GMT Subject: Re: [PATCH 13/16] init: allow alternate backends to be set for new repos Message-ID: In-Reply-To: On Wed, Jan 6, 2016 at 4:52 AM, Duy Nguyen wrote: > On Wed, Dec 23, 2015 at 8:34 PM, Michael Haggerty wrote: >> On 12/03/2015 01:35 AM, David Turner wrote: >>> diff --git a/Documentation/git-init.txt b/Documentation/git-init.txt >>> index 8174d27..9ea6753 100644 >>> --- a/Documentation/git-init.txt >>> +++ b/Documentation/git-init.txt >>> @@ -12,7 +12,7 @@ SYNOPSIS >>> 'git init' [-q | --quiet] [--bare] [--template=] >>> [--separate-git-dir ] >>> [--shared[=]] [directory] >>> - >>> + [--refs-backend-type=] >> >> ISTM that "backend" (used here in this option name, and in the manpage) >> is not such a meaningful term to users. Could we pick a less obscure >> term? E.g., maybe "--ref-storage="? > > From an (ex-)translator point of view, storage is also easier to > translate than the technical term "backend". I know we do not > translate option names, but whatever term you use usually show up in > some user-facing messages that need translating. But I do prefer > backend in source code, I think it expresses the idea much better than > storage. And JGit calls these things RefDatabases. Because Java. Also, its a table of ref -> SHA-1. And you put tables into databases. Or something.