From de75c59c29db69ae9c34842989ce0bb7535f1502 Mon Sep 17 00:00:00 2001
From: Barry Nouwt <barry.nouwt@tno.nl>
Date: Fri, 15 May 2026 16:05:21 +0200
Subject: [PATCH] Remove old maven repos.

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

diff --git a/pom.xml b/pom.xml
index 4fc49755..a2274bb4 100644
--- a/pom.xml
+++ b/pom.xml
@@ -53,23 +53,6 @@
 		</plugins>
 	</build>
 
-	<repositories>
-		<repository>
-			<id>gitlab-maven</id>
-			<url>https://gitlab.inesctec.pt/api/v4/projects/2878/packages/maven</url>
-		</repository>
-	</repositories>
-	<distributionManagement>
-		<repository>
-			<id>gitlab-maven</id>
-			<url>https://gitlab.inesctec.pt/api/v4/projects/2878/packages/maven</url>
-		</repository>
-		<snapshotRepository>
-			<id>gitlab-maven</id>
-			<url>https://gitlab.inesctec.pt/api/v4/projects/2878/packages/maven</url>
-		</snapshotRepository>
-	</distributionManagement>
-
 	<properties>
 		<jetty-version>11.0.26</jetty-version>
 		<java.version>17</java.version>