Subject: Re: [PATCH] ci: update to jgit 7

From: Junio C Hamano <[email-masked]>
Date: Wed, 13 Nov 2024 20:24:06 +0900

Johannes Schindelin <[email-masked]> 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.