Patrick Steinhardt <ps@xxxxxx> writes: > When calling `git init --separate-git-dir=<new-path>` on a preexisting > repository, then we move the Git directory of that repository to the new > path specified by the user. If there are worktrees present in the Git > repository, we need to repair the worktrees so that their gitlinks point > to the new location of the repository. > Nit: s/then we/we
