eslint-github-bot
eslint-github-bot copied to clipboard
Bug: bot comments/adds auto closed label to already closed issues
It looks like the bot is adding the auto closed
label and commenting on issues that are already closed. See https://github.com/eslint/eslint/issues/11859.
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 https://github.com/eslint/eslint/issues/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. I was not able to notice this issue.
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?
That makes sense. If this is the case and it's not happening often, I don't think it's worth trying to fix.