Re: [PATCH] ci: update to jgit 7
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Nov 13, 2024, 11:24 UTC
- Message-ID
- <xmqqfrnv9y21.fsf@gitster.g>
- In-Reply-To
- <492a40f0-c8b8-01db-e4bf-10478f1f6108@gmx.de>
Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:
Show 6 quoted lines
>> 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.