From d6d80732d84e31d01f102fcb00f334f109cad029 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Barbero?=
 <mikael.barbero@eclipse-foundation.org>
Date: Fri, 3 Dec 2021 18:58:55 +0100
Subject: [PATCH] Removed jenkins-ci maven repo

---
 pom.xml | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/pom.xml b/pom.xml
index f259289..2bfb28c 100644
--- a/pom.xml
+++ b/pom.xml
@@ -450,13 +450,6 @@
 		</pluginManagement>
 	</build>
 
-	<repositories>
-		<repository>
-			<id>repo.jenkins-ci.org</id>
-			<url>https://repo.jenkins-ci.org/public/</url>
-		</repository>
-	</repositories>
-
 	<profiles>
 		<profile>
 			<id>quality</id>