Skip to content

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

Open
@kaicataldo

Description

@kaicataldo

It looks like the bot is adding the auto closed label and commenting on issues that are already closed. See eslint/eslint#11859.

Activity

anikethsaha

anikethsaha commented on Jul 18, 2020

@anikethsaha
Member

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

nzakas

nzakas commented on Jul 20, 2020

@nzakas
Member

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?

anikethsaha

anikethsaha commented on Jul 21, 2020

@anikethsaha
Member

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

kaicataldo

kaicataldo commented on Jul 21, 2020

@kaicataldo
MemberAuthor

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

      Development

      No branches or pull requests

        Participants

        @nzakas@kaicataldo@anikethsaha

        Issue actions

          Bug: bot comments/adds auto closed label to already closed issues · Issue #110 · eslint/eslint-github-bot