eslint-github-bot icon indicating copy to clipboard operation
eslint-github-bot copied to clipboard

Bug: bot comments/adds auto closed label to already closed issues

Open kaicataldo opened this issue 6 years ago • 4 comments

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.

kaicataldo avatar Jul 20 '19 15:07 kaicataldo

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

anikethsaha avatar Jul 18 '20 13:07 anikethsaha

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?

nzakas avatar Jul 20 '20 23:07 nzakas

I did check some of the newly closed issues that were not closed due to inactivity. I was not able to notice this issue.

anikethsaha avatar Jul 21 '20 17:07 anikethsaha

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.

kaicataldo avatar Jul 21 '20 17:07 kaicataldo