When you look at the list of Orekit issues  how do you make GitLab show the unresolved issues? Gitlab doesn’t seem to have boolean operators (e.g. not) for searches . Is there another method you use when looking through the backlog? In Redmine I liked how I could set up a query to show all the issues that hadn’t been fixed yet.
Unfortunately, the avanced syntax search, which permits the term exclusion, is only available in the Gitlab Enterprise Edition.
Without advanced syntax, I have no efficient solution to offer you. But I changed the background color of the “Resolved” label to help you to identify the issues that do not have this label.