From ad3fe51431831c6497c9a76f4a3e39b33ad5410e Mon Sep 17 00:00:00 2001
From: gprat <guylaine.prat@c-s.fr>
Date: Mon, 29 Jun 2020 17:35:41 +0200
Subject: [PATCH] Correct Nexus URL
---
.CI/maven-settings.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.CI/maven-settings.xml b/.CI/maven-settings.xml
index 4bef3be4..09b19e13 100644
--- a/.CI/maven-settings.xml
+++ b/.CI/maven-settings.xml
@@ -18,7 +18,7 @@
<id>Nexus-Rugged</id>
<name>Maven Repository Manager</name>
<!-- Share the same Nexus repository as Orekit -->
- <url>https://packages.rugged.org/repository/maven-public/</url>
+ <url>https://packages.orekit.org/repository/maven-public/</url>
<mirrorOf>*</mirrorOf>
</mirror>
</mirrors>
--
GitLab