Re: [PATCH v3 10/25] Add new environment variable $GIT_COMMON_DIR

> From: "Duy Nguyen" <pclouds@gmail.com>
>> On Wed, Feb 26, 2014 at 8:24 AM, Eric Sunshine <sunshine@sunshineco.com>
>> wrote:
>>>>
>>>> +'GIT_COMMON_DIR'::
>>>> +       If this variable is set to a path, non-worktree files that are
>>>> +       normally in $GIT_DIR will be taken from this path
>>>> +       instead. Worktree-specific files such as HEAD or index are
>>>> +       taken from $GIT_DIR. This variable has lower precedence than
>>>> +       other path variables such as GIT_INDEX_FILE,
>>>> +       GIT_OBJECT_DIRECTORY...
>>>
>>> For a person not familiar with "git checkout --to" or its underlying
>>> implementation, this description may be lacking. Such a reader may be
>>> left wondering about GIT_COMMON_DIR's overall purpose, and when and
>>> how it should be used. Perhaps it would make sense to talk a bit about
>>> "git checkout --to" here?
>>
>> I don't want to repeat too much. Maybe mention about "git checkout
>> --to" and point them to git-checkout man page?
>
> I've just looked at both
> https://www.kernel.org/pub/software/scm/git/docs/git-checkout.html and
> http://git-htmldocs.googlecode.com/git/git-checkout.html and neither appear
> to mention the --to option.
>
> Is it missing from the man page? Or is it me that's missing something?