From adf7633b46d062bab53dfa2a182da73d614030f0 Mon Sep 17 00:00:00 2001
From: Guylaine Prat <guylaine.prat@c-s.fr>
Date: Tue, 29 Jan 2019 11:17:07 +0100
Subject: [PATCH] Fix pom's git developer url

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 0633a3a8..dd0e6b6d 100644
--- a/pom.xml
+++ b/pom.xml
@@ -131,7 +131,7 @@
 
   <scm>
     <connection>scm:git:https://gitlab.orekit.org/orekit/rugged.git</connection>
-    <developerConnection>scm:git:ssh://git@gitlab.orekit.org:orekit/rugged.git</developerConnection>
+    <developerConnection>scm:git:ssh://git@gitlab.orekit.org/orekit/rugged.git</developerConnection>
     <url>https://gitlab.orekit.org/orekit/rugged/tree/master</url>
   </scm>
 
-- 
GitLab