pharo-users@lists.pharo.org

Any question about pharo is welcome

View all threads

Re: [Pharo-dev] [Issue tracker] Please check your issues on the issue tracker

MD
Marcus Denker
Fri, Oct 6, 2023 8:19 AM

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.

  • 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

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. >> - 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