Re: [PATCH 13/16] init: allow alternate backends to be set for new repos

[Shawn Pearce <spearce@spearce.org>]

On Wed, Jan 6, 2016 at 4:52 AM, Duy Nguyen <pclouds@gmail.com> wrote:
> On Wed, Dec 23, 2015 at 8:34 PM, Michael Haggerty <mhagger@alum.mit.edu> 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=<template_directory>]
>>>         [--separate-git-dir <git dir>]
>>>         [--shared[=<permissions>]] [directory]
>>> -
>>> +       [--refs-backend-type=<name>]
>>
>> 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=<name>"?
>
> 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.

</two-cents>