Skip to content

Conversation

@nodejs-github-bot
Copy link
Collaborator

This is an automated update of eslint to 8.56.0.

@nodejs-github-botnodejs-github-bot added the tools Issues and PRs related to the tools directory. label Dec 17, 2023
Copy link
Member

@mhdawsonmhdawson left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@marco-ippolitomarco-ippolito added the commit-queue Add this label to land a pull request using GitHub Actions. label Dec 19, 2023
@nodejs-github-botnodejs-github-bot removed the commit-queue Add this label to land a pull request using GitHub Actions. label Dec 19, 2023
@nodejs-github-botnodejs-github-bot merged commit 8573146 into mainDec 19, 2023
@nodejs-github-bot
Copy link
CollaboratorAuthor

Landed in 8573146

@nodejs-github-botnodejs-github-bot deleted the actions/tools-update-eslint branch December 19, 2023 04:38
RafaelGSS pushed a commit that referenced this pull request Jan 2, 2024
PR-URL: #51194 Reviewed-By: Luigi Pinca <[email protected]> Reviewed-By: Marco Ippolito <[email protected]> Reviewed-By: Michael Dawson <[email protected]> Reviewed-By: Trivikram Kamat <[email protected]>
@RafaelGSSRafaelGSS mentioned this pull request Jan 2, 2024
richardlau pushed a commit that referenced this pull request Mar 25, 2024
PR-URL: #51194 Reviewed-By: Luigi Pinca <[email protected]> Reviewed-By: Marco Ippolito <[email protected]> Reviewed-By: Michael Dawson <[email protected]> Reviewed-By: Trivikram Kamat <[email protected]>
@richardlaurichardlau mentioned this pull request Mar 25, 2024
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

toolsIssues and PRs related to the tools directory.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

7 participants

@nodejs-github-bot@lpinca@UlisesGascon@mhdawson@trivikr@marco-ippolito