From 46c9117624d672354a30bf15084c89fc4b4a7a9b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20L=C3=BCck?= <christian.lueck@uni-muenster.de>
Date: Mon, 18 Nov 2024 10:50:47 +0100
Subject: [PATCH] change repository ID for deployment

---
 pom.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index c93ebfe..32082f1 100644
--- a/pom.xml
+++ b/pom.xml
@@ -156,11 +156,11 @@
 
     <distributionManagement>
         <repository>
-            <id>git-instance-maven</id>
+            <id>github</id>
             <url>${distribution.url}</url>
         </repository>
         <snapshotRepository>
-            <id>git-instance-maven</id>
+            <id>github</id>
             <url>${distribution.url}</url>
         </snapshotRepository>
     </distributionManagement>