From 2609f620be14e609086056bb902f4cb2ea227ac8 Mon Sep 17 00:00:00 2001
From: Emmanuel Bruno <emmanuel.bruno@univ-tln.fr>
Date: Thu, 24 Sep 2026 15:26:43 +0200
Subject: [PATCH] fix: remove maven-proxy mirror (pods have direct internet)

The ARC runner pods (ebpro-org fleet) have direct internet access.
The mirror to the on-campus Nexus is unreachable and was returning
SSO login pages instead of artifacts.

Maven now talks to Maven Central directly. Deployment <server>
credentials are preserved.
---
 ci-settings.xml | 15 ---------------
 1 file changed, 15 deletions(-)

diff --git a/ci-settings.xml b/ci-settings.xml
index 9a2f5d7..b43eee9 100644
--- a/ci-settings.xml
+++ b/ci-settings.xml
@@ -3,16 +3,6 @@
     xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
     xsi:schemaLocation="http://maven.apache.org/SETTINGS/1.0.0 https://maven.apache.org/xsd/settings-1.0.0.xsd">
 
-    <!-- Mirror Configuration -->
-    <mirrors>
-        <mirror>
-            <id>maven-proxy</id>
-            <name>Maven Repository Manager</name>
-            <url>${env.MAVEN_PROXY_URL}</url>
-            <mirrorOf>central</mirrorOf>
-         </mirror>
-    </mirrors>
-
     <!-- Server Configuration -->
     <servers>
         <!-- Server configuration for GitHub -->
@@ -39,11 +29,6 @@
             <username>${env.MAVEN_CENTRAL_USERNAME}</username>
             <password>${env.MAVEN_CENTRAL_TOKEN}</password>
         </server>
-        <server>
-            <id>maven-proxy</id>
-            <username>${env.MAVEN_PROXY_USERNAME}</username>
-            <password>${env.MAVEN_PROXY_TOKEN}</password>
-        </server>
     </servers>
 
     <!-- Profile Configuration -->