From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 31 Aug 2020 18:59:24 GMT
Subject: Re: [PATCH v2 0/5] add "git worktree repair" command
Message-ID: <xmqqbliqfxpv.fsf@gitster.c.googlers.com>
In-Reply-To: <20200831065800.62502-1-sunshine@sunshineco.com>

Eric Sunshine <sunshine@sunshineco.com> writes:

> This is a re-roll of [1] which adds a "git worktree repair" command
> and which fixes bugs with "git init --separate-git-dir" related to
> worktrees.

These look good to me.  Thanks.