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 !
https://github.com/pharo-project/pharo/issues
You can easily search for he ones that you added, for me this would be:
https://github.com/pharo-project/pharo/issues/created_by/MarcusDenker
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.
So please please, check your old issues !
https://github.com/pharo-project/pharo/issues
You can easily search for he ones that you added, for me this would be:
https://github.com/pharo-project/pharo/issues/created_by/MarcusDenker
I would add, you can refer to yourself as @me in the search field, so the
following link is the same for everyone:
https://github.com/pharo-project/pharo/issues/created_by/@me
You can also combine open issues and open/unmerged PRs into a single search
by deleting is:issue from the query, resulting in:
https://github.com/pharo-project/pharo/issues?q=is%3Aopen+author%3A%40me
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.
So please please, check your old issues !
https://github.com/pharo-project/pharo/issues
You can easily search for he ones that you added, for me this would be:
https://github.com/pharo-project/pharo/issues/created_by/MarcusDenker
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:
https://github.com/pharo-project/pharo/issues/created_by/@me
You can also combine open issues and open/unmerged PRs into a single search by deleting is:issue from the query, resulting in:
https://github.com/pharo-project/pharo/issues?q=is%3Aopen+author%3A%40me
On Thu, Oct 5, 2023 at 10:49 AM Noury Bouraqadi <bouraqadi@gmail.com mailto: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 mailto: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.
So please please, check your old issues !
https://github.com/pharo-project/pharo/issues
You can easily search for he ones that you added, for me this would be:
https://github.com/pharo-project/pharo/issues/created_by/MarcusDenker