You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Some issues are technically closed, but are still open.
Solution
I suggest conducting a revision of open issues to see which ones were already successfully closed, to keep the repository clean and make looking for open issues more effective.
This issue can be mentioned, when requesting issue closure.
I understand, that not all issues with merged pull requests can be closed, as the issue may still be not solved. It then requires a bit of research to understand whether the issue is still needed.
The text was updated successfully, but these errors were encountered:
Problem
Some issues are technically closed, but are still open.
Solution
I suggest conducting a revision of open issues to see which ones were already successfully closed, to keep the repository clean and make looking for open issues more effective.
This issue can be mentioned, when requesting issue closure.
I understand, that not all issues with merged pull requests can be closed, as the issue may still be not solved. It then requires a bit of research to understand whether the issue is still needed.
The text was updated successfully, but these errors were encountered: