Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Issues clean-up #4197

Open
nurSaadat opened this issue Jun 1, 2023 · 0 comments
Open

Issues clean-up #4197

nurSaadat opened this issue Jun 1, 2023 · 0 comments
Labels
enhancement New feature or request help wanted Community development is encouraged

Comments

@nurSaadat
Copy link

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.

@nurSaadat nurSaadat added the enhancement New feature or request label Jun 1, 2023
@ananzh ananzh added help wanted Community development is encouraged and removed untriaged labels Jun 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request help wanted Community development is encouraged
Projects
None yet
Development

No branches or pull requests

2 participants