A issue is created. https://gitlab.orekit.org/orekit/orekit/-/issues/1693.
I cannot set the target version.
Hi all,
Could be actually consider the fix of 1693 for a patch release?
I just don’t think we should delay 13.0 any further.
Cheers,
Romain.
No we can’t, it will most certainly change the API by removing an argument in public methods.
I’ll take a look this week-end.
I may even start the release this week-end (hopefully).
2 Likes
I have updated the develop branch of orekit-tutorials to be up to date with version 13.0 of the library. I’ve opened an MR for the main branch but I don’t have the rights to proceed any further. Could somebody take care of that?
Cheers,
Romain.
Hello Romain,
I have just given you the role of maintainer in the Orekit, Orekit Data and Orekit Tutorials projects, which is well deserved given your many valuable contributions since you joined the project. 
2 Likes
Actually I’ve just realised that we have a branch called main on the tutorial gitlab, but master is still in use as the default one. Shall we ditch the latter?
Cheers,
Romain.
I think so yes. Please check that the website isn’t broken afterwards 
1 Like
I’ve created this MR for the website.
However, the pipeline looks down for the orekit-tutorials on both master and main actually.
@sdinot did I cause this earlier?
I will check it.
The website is still using a “master” branch. I will modify it tonight or tomorrow (I have to make another change first).
@Serrof, I renamed the “master” branch of the Orekit website to “main,” then I restarted the failed job on the Orekit Tutorials project. It was successful.
1 Like