pharo-users@lists.pharo.org

Any question about pharo is welcome

View all threads

[Issue Tracker] Please check your issues

MD
Marcus Denker
Wed, Dec 14, 2022 2:00 PM

Hi,

The issue tracker has a bit the problem that outdated issues are never cleaned

  • sometimes PRs are merged but the issue is not closed because it was never connected to the PR
    ( github sometimes just does not do it correctly )

  • Duplicated reports, bug is fixed but the other issue was closed

  • Problem fixed due to other reasons

Or your issue might have seen someone asking a question. People tend to just wait for an answer to those.

Or maybe the issue has just not enough information for others to take action?

Maybe you could submit a PR instead of just describing the change you think should be done?

The best would be if everyone who opened an issue would check all the issues they submitted.

you can just add a filter to https://github.com/pharo-project/pharo/issues, e.g.

 author:MarcusDenker 

shows you all that I submitted

Marcus 
Hi, The issue tracker has a bit the problem that outdated issues are never cleaned - sometimes PRs are merged but the issue is not closed because it was never connected to the PR ( github sometimes just does not do it correctly ) - Duplicated reports, bug is fixed but the other issue was closed - Problem fixed due to other reasons Or your issue might have seen someone asking a question. People tend to just wait for an answer to those. Or maybe the issue has just not enough information for others to take action? Maybe you could submit a PR instead of just describing the change you think should be done? The best would be if everyone who opened an issue would check all the issues they submitted. you can just add a filter to https://github.com/pharo-project/pharo/issues, e.g. author:MarcusDenker shows you all that I submitted Marcus