[PATCH] ci: update to jgit 7

[PATCH] ci: update to jgit 7

[Junio C Hamano]

The version of jgit we use for CI has been 6.8.0 for the last few
releases; try to update it to newer jgit 7.0.0, which is advertised
at https://www.eclipse.org/jgit/download/ page.

Note that this new URL seems to fail to download (together with the
URL for the older 6.8.0, which is causing CI failures) right now.

Signed-off-by: Junio C Hamano <gitster@pobox.com>
---
 ci/install-dependencies.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/install-dependencies.sh b/ci/install-dependencies.sh
index e2c6ef0f66..65b34d930e 100755
--- a/ci/install-dependencies.sh
+++ b/ci/install-dependencies.sh
@@ -9,7 +9,7 @@ begin_group "Install dependencies"
 
 P4WHENCE=https://cdist2.perforce.com/perforce/r23.2
 LFSWHENCE=https://github.com/github/git-lfs/releases/download/v$LINUX_GIT_LFS_VERSION
-JGITWHENCE=https://repo.eclipse.org/content/groups/releases//org/eclipse/jgit/org.eclipse.jgit.pgm/6.8.0.202311291450-r/org.eclipse.jgit.pgm-6.8.0.202311291450-r.sh
+JGITWHENCE=https://repo.eclipse.org/content/groups/releases//org/eclipse/jgit/org.eclipse.jgit.pgm/7.0.0.202409031743-r/org.eclipse.jgit.pgm-7.0.0.202409031743-r.sh
 
 # Make sudo a no-op and execute the command directly when running as root.
 # While using sudo would be fine on most platforms when we are root already,
-- 
2.47.0-383-g8012c4ff7f

Re: [PATCH] ci: update to jgit 7

[Patrick Steinhardt]

On Wed, Nov 13, 2024 at 11:58:17AM +0900, Junio C Hamano wrote:
> The version of jgit we use for CI has been 6.8.0 for the last few
> releases; try to update it to newer jgit 7.0.0, which is advertised
> at https://www.eclipse.org/jgit/download/ page.
> 
> Note that this new URL seems to fail to download (together with the
> URL for the older 6.8.0, which is causing CI failures) right now.

Seems like all of the downloads result in a 403 now. I was digging a bit
through the mailing list archives (jgit-dev, eclipse-mirrors) and
couldn't find any hint as to what is going on there.

Other downloads, like Eclipse for example, work alright. I was trying to
piggy back on how the URL looks like there, but without any success. I
also couldn't find any mirrors that have the fil. So either we just wait
a bit and hope that Eclipse will fix this, or disable the download of
JGit for now to unbreak CI.

Patrick

Re: [PATCH] ci: update to jgit 7

[Yongmin]

On 2024-11-13 (Wed) 16:06:21+09:00, Patrick Steinhardt <ps@pks.im> wrote:
> Seems like all of the downloads result in a 403 now. I was digging a bit
> through the mailing list archives (jgit-dev, eclipse-mirrors) and
> couldn't find any hint as to what is going on there.

It could be [this]?

[this]: https://www.eclipsestatus.io/maintenance/456545

-- 
----
revi | 레비 (IPA: lɛbi)
- https://revi.xyz
- he/him <https://revi.xyz/pronoun-is/>
- What time is it in my timezone? <https://issuetracker.revi.xyz/u/time>
- OpenPGP <https://revi.xyz/pgp/>
- In this Korean name <https://en.wikipedia.org/wiki/Korean_name>, the family name is Hong <https://en.wikipedia.org/wiki/Hong_(Korean_surname)>,
  which makes my name HONG Yongmin.
- I reply when my time permits. Don't feel pressured to reply ASAP;
  take your time and respond at your schedule.

Re: [PATCH] ci: update to jgit 7

[Patrick Steinhardt]

On Wed, Nov 13, 2024 at 04:35:44PM +0900, Yongmin wrote:
> On 2024-11-13 (Wed) 16:06:21+09:00, Patrick Steinhardt <ps@pks.im> wrote:
> > Seems like all of the downloads result in a 403 now. I was digging a bit
> > through the mailing list archives (jgit-dev, eclipse-mirrors) and
> > couldn't find any hint as to what is going on there.
> 
> It could be [this]?
> 
> [this]: https://www.eclipsestatus.io/maintenance/456545

Oh, that I didn't spot. Very much looks like that would be the root
cause, thanks for the pointer!

Patrick

Re: [PATCH] ci: update to jgit 7

[Johannes Schindelin]

Hi,

On Wed, 13 Nov 2024, Patrick Steinhardt wrote:

> On Wed, Nov 13, 2024 at 04:35:44PM +0900, Yongmin wrote:
> > On 2024-11-13 (Wed) 16:06:21+09:00, Patrick Steinhardt <ps@pks.im> wrote:
> > > Seems like all of the downloads result in a 403 now. I was digging a bit
> > > through the mailing list archives (jgit-dev, eclipse-mirrors) and
> > > couldn't find any hint as to what is going on there.
> >
> > It could be [this]?
> >
> > [this]: https://www.eclipsestatus.io/maintenance/456545
>
> 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!
Johannes

Re: [PATCH] ci: update to jgit 7

[Junio C Hamano]

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.