Re: [PATCH v7 22/31] checkout: support checking out into a new working directory

"git checkout --to" sets up a new working directory with a .git file
pointing to $GIT_DIR/repos/<id>. It then executes "git checkout" again
on the new worktree with the same arguments except "--to" is taken
out. The second checkout execution, which is not contaminated with any
info from the current repository, will actually check out and
everything that normal "git checkout" does.

Signed-off-by: Nguyễn Thái Ngọc Duy <redacted>
---

diff --git a/Documentation/gitrepository-layout.txt b/Documentation/gitrepository-layout.txt
index 0f341fc..543d874 100644
--- a/Documentation/gitrepository-layout.txt
+++ b/Documentation/gitrepository-layout.txt

@@ -249,6 +249,13 @@ modules::
        directory is ignored if $GIT_COMMON_DIR is set and
        "$GIT_COMMON_DIR/modules" will be used instead.

+repos::
+       Contains worktree specific information of linked
+       checkouts. Each subdirectory contains the worktree-related
+       part of a linked checkout. This directory is ignored

+       $GIT_COMMON_DIR is set and "$GIT_COMMON_DIR/repos" will be
+       used instead.
+
 SEE ALSO
 --------
 linkgit:git-init[1],