From 85430ad403bff852c9c454391a4d3eefc6468e3a Mon Sep 17 00:00:00 2001
From: gprat <guylaine.prat@c-s.fr>
Date: Mon, 29 Jun 2020 18:52:36 +0200
Subject: [PATCH] Add a profile to configure deployment
---
pom.xml | 14 ++++++++++++++
1 file changed, 14 insertions(+)
diff --git a/pom.xml b/pom.xml
index 5dac5039..0e24fe9d 100644
--- a/pom.xml
+++ b/pom.xml
@@ -653,6 +653,20 @@
</plugins>
</build>
</profile>
+ <profile>
+ <!-- A profile to configure staging deployment (for continuous integration process) -->
+ <id>ci-deploy</id>
+ <distributionManagement>
+ <repository>
+ <id>ci-releases</id>
+ <url>https://packages.orekit.org/repository/maven-releases/</url>
+ </repository>
+ <snapshotRepository>
+ <id>ci-snapshots</id>
+ <url>https://packages.orekit.org/repository/maven-snapshots/</url>
+ </snapshotRepository>
+ </distributionManagement>
+ </profile>
<profile>
<id>eclipse</id>
<activation>
--
GitLab