From: "Duy Nguyen" <pclo...@gmail.com>
On Wed, Feb 26, 2014 at 8:24 AM, Eric Sunshine
+ If this variable is set to a path, non-worktree files that
+ 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,
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
"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
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?
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html