From 9fc9efc4ca01f9b9ebbf5483f75aecddeeb11ede Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dominik=20Fuch=C3=9F?= <dominik.fuchss@kit.edu>
Date: Thu, 12 Nov 2026 15:38:06 +0100
Subject: [PATCH] Add GitLab snapshot repository

---
 pom.xml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/pom.xml b/pom.xml
index 837351e..b45e45c 100644
--- a/pom.xml
+++ b/pom.xml
@@ -41,6 +41,17 @@
       <id>mavenSnapshot</id>
       <url>https://central.sonatype.com/repository/maven-snapshots/</url>
     </repository>
+    <repository>
+      <releases>
+        <enabled>false</enabled>
+      </releases>
+      <snapshots>
+        <enabled>true</enabled>
+      </snapshots>
+      <!-- ARDoCo snapshot builds (public, read-only mirror group on gitlab.kit.edu) -->
+      <id>ardocoSnapshots</id>
+      <url>https://gitlab.kit.edu/api/v4/groups/253644/-/packages/maven</url>
+    </repository>
   </repositories>
 
   <build>