Skip to content

Conversation

@im-manas
Copy link

@im-manas im-manas commented Apr 6, 2022

No description provided.

@nodejs-github-bot nodejs-github-bot added the tools Issues and PRs related to the tools directory. label Apr 6, 2022
@tniessen
Copy link
Member

tniessen commented Apr 6, 2022

@im-manas This does not seem right. The commit you copied to your branch was created by our bot and already merged into 916227b.

@tniessen tniessen closed this Apr 6, 2022
@Trott
Copy link
Member

Trott commented Apr 6, 2022

This "open a pull request with something that has already been closed" is behavior we see in bots. This user is now blocked.

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

Labels

tools Issues and PRs related to the tools directory.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants