diff options
author | Junio C Hamano <gitster@pobox.com> | 2025-04-25 08:38:27 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2025-04-25 08:39:05 -0700 |
commit | 956acbefbd5464748930d3f96a4fcaf43feb4291 (patch) | |
tree | 7bab8128bee0730ba3939ea4257c930b7e984ce3 /commit-graph.c | |
parent | cbc1d8e26547bcd2dac89328bff720efca6e1617 (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>
Diffstat (limited to 'commit-graph.c')
0 files changed, 0 insertions, 0 deletions