Add distribution management for GitHub Packages

manu-schaaf · Manuel Schaaf · commit 3b69eb12e7c7 · 2025-10-30T13:03:09.000+01:00
diff --git a/pom.xml b/pom.xml
@@ -70,6 +70,14 @@
         </developer>
     </developers>
 
+    <distributionManagement>
+        <repository>
+            <id>github</id>
+            <name>GitHub Packages</name>
+            <url>https://maven.pkg.github.com/texttechnologylab/UIMATypeSystem</url>
+        </repository>
+    </distributionManagement>
+
     <repositories>
         <repository>
             <id>jitpack.io</id>
