Subject: Re: [bug#74481] [PATCH 1/2] git: Catch Git errors when updating cached checkout.

From: Simon Tournier <[email-masked]>
Date: Tue, 31 Dec 2024 16:25:43 +0100

Hi Ludo,

On Thu, 26 Dec 2024 at 22:17, Ludovic Courtès <[email-masked]> wrote:

> In other cases, we explicitly want to catch, say, GIT_ENOTFOUND because
> there’s a fallback path in this case.

Ah, I see.  Thanks for explaining; all clear now! :-)

Cheers,
simon