Thanks, this is useful !

We reduced the open issue by ~25 yesterday, not bad.


On 6 Oct 2023, at 03:28, Daniel Slomovits <daniels220@gmail.com> wrote:

I would add, you can refer to yourself as @me in the search field, so the following link is the same for everyone:


You can also combine open issues and open/unmerged PRs into a single search by deleting is:issue from the query, resulting in:


On Thu, Oct 5, 2023 at 10:49���AM Noury Bouraqadi <bouraqadi@gmail.com> wrote:
Did a pass. Thank you for the reminder Marcus.

Noury
On Oct 5 2023, at 2:16 pm, Marcus Denker <marcus.denker@inria.fr> wrote:
Hi,

Please check the issue tracker.

Often when a bug is fixed, you might even think ���YES! the bug I reported is now fixed��� and you naturally assume that your issue therefore was closed.

But that is not always the case.
- people forgot to link PRs to the issues
- gitub in the past just did not close the issue even if it was linked (seems to work better now)
- There might be *another* issue that was closed (your issue was a not detected duplicate)
- The issue was closed due to other reasons
- Code changed and it is not relevant anymore


So please please, check your old issues !



You can easily search for he ones that you added, for me this would be: