From: Karthik Nayak <karthik.188@gmail.com>
Date: Fri, 22 Dec 2023 12:23:08 GMT
Subject: Re: [PATCH 02/12] worktree: skip reading HEAD when repairing worktrees
Message-ID: <CAOLa=ZTfrgNq5bDqtetBURWOOy0GeyTKGnmRR30yaDs0_-ehzQ@mail.gmail.com>
In-Reply-To: <e895091025e6786e0a831e4fb9b092eb74bd4379.1703067989.git.ps@pks.im>

Patrick Steinhardt <ps@pks.im> 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