Prioritized labels
Drag to reorder prioritized labels and change their relative priority.
Other labels
Time
Orekit / Orekit
Issues related to AbsoluteDate, Date/TimeComponents, TimeScales, and leap seconds
Patch Release
Orekit / Orekit
Issue that can be fixed for a patch release (i.e. no API change and not a new feature)
Parallelization
Orekit / Orekit
All issues related to parallel computing with Orekit, mostly using the PropagatorParallelizer.
Incident
Orekit / Orekit
Denotes a disruption to IT services and the associated issues require immediate attention
Prioritized