From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 13 Nov 2024 11:24:06 GMT
Subject: Re: [PATCH] ci: update to jgit 7
Message-ID: <xmqqfrnv9y21.fsf@gitster.g>
In-Reply-To: <492a40f0-c8b8-01db-e4bf-10478f1f6108@gmx.de>

Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:

>> Oh, that I didn't spot. Very much looks like that would be the root
>> cause, thanks for the pointer!
>
> Sure enough, it looks like this was it, as it is now working again.
>
> Thank you Yongmin for finding this valuable information!

And thanks for restarting the CI jobs for 'seen' that previously
failed.