Also provide Orekit 12.0 on PyPi
After merging:
- Upload to PyPi (hopefully PyPi allows publishing an older version of the orekit-jpype package)
- Tag the post-merge commit of the
main
branch with12.0.2.0
- Prepare a new MR which reverts this MR to bring back the
main
branch to Orekit 12.1 :)
Edited by Clément Jonglez