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
Bug: bot comments/adds auto closed label to already closed issues #110
Comments
I think this has been fixed? ( here, here, here ) Also I can see few issues that should have the label if this bug is still there. like this one eslint/eslint#13352 |
I wonder if this is just a timing issue? We are definitely only searching for open issues so maybe there was some kind of lag as to when the issue was marked as closed in the search meta data on GitHub? |
I did check some of the newly closed issues that were not closed due to inactivity. |
That makes sense. If this is the case and it's not happening often, I don't think it's worth trying to fix. |
It looks like the bot is adding the
auto closed
label and commenting on issues that are already closed. See eslint/eslint#11859.The text was updated successfully, but these errors were encountered: