]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cbc1d8e) | patch
ci: download JGit from maven, not eclipse.org
authorJunio C Hamano <gitster@pobox.com>
Fri, 25 Apr 2025 15:38:27 +0000 (08:38 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 25 Apr 2025 15:39:05 +0000 (08:39 -0700)
commit956acbefbd5464748930d3f96a4fcaf43feb4291
tree7bab8128bee0730ba3939ea4257c930b7e984ce3tree
parentcbc1d8e26547bcd2dac89328bff720efca6e1617commit | diff
ci: download JGit from maven, not eclipse.org

As Matthias Sohn, JGit maintainer, recommends, update the JGit
download link from repo.eclipse.org to a one in maven.org

Helped-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
ci/install-dependencies.sh diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.