From 1d6385280f6139ea3ff8a9287ce364dbe0668fe7 Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Sun, 14 Jun 2020 20:35:45 +0200 Subject: [PATCH] Fix CI information in pom.xml Change-Id: I066702cd9f4465eff919e46fc0cc8558d3f3178b --- pom.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pom.xml b/pom.xml index ad5728f73..b8ac751aa 100644 --- a/pom.xml +++ b/pom.xml @@ -38,8 +38,8 @@ - hudson - https://hudson.eclipse.org/jgit/ + Jenkins + https://ci.eclipse.org/jgit