diff --git a/pom.xml b/pom.xml index 5dac503900f0c113afdea6358a656f756f81fe69..0e24fe9d31f2d2677b23c99d0c8c1e186191b519 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>