Fix orekit data repo URL
- Mar 12, 2024
-
-
Clément Jonglez authored
only merge after orekit/orekit-data!4 : update URL in conda environments https://gitlab.orekit.org/yzokras/orekit-data.git -> https://gitlab.orekit.org/orekit/orekit-data.git
-
Only after merge of orekit/orekit-data!4 (merged) : this merge request replaces the URL https://gitlab.orekit.org/yzokras/orekit-data.git in the conda environments by https://gitlab.orekit.org/orekit/orekit-data.git
Once !5 (merged) is merged, rebase this branch onto the master
only merge after orekit/orekit-data!4 : update URL in conda environments https://gitlab.orekit.org/yzokras/orekit-data.git -> https://gitlab.orekit.org/orekit/orekit-data.git