Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

tools: update lint-md-dependencies to [email protected] #47045

Merged
merged 1 commit into from
Mar 15, 2023

Conversation

nodejs-github-bot
Copy link
Collaborator

This is an automated update of lint-md-dependencies to [email protected].

@nodejs-github-bot nodejs-github-bot added the tools Issues and PRs related to the tools directory. label Mar 12, 2023
@Trott Trott added needs-ci PRs that need a full CI run. request-ci Add this label to start a Jenkins CI on a PR. labels Mar 12, 2023
@github-actions github-actions bot removed the request-ci Add this label to start a Jenkins CI on a PR. label Mar 12, 2023
@nodejs-github-bot
Copy link
Collaborator Author

@nodejs-github-bot
Copy link
Collaborator Author

@anonrig anonrig added the commit-queue Add this label to land a pull request using GitHub Actions. label Mar 15, 2023
@nodejs-github-bot nodejs-github-bot removed the commit-queue Add this label to land a pull request using GitHub Actions. label Mar 15, 2023
@nodejs-github-bot nodejs-github-bot merged commit 2fc6e03 into main Mar 15, 2023
@nodejs-github-bot
Copy link
Collaborator Author

Landed in 2fc6e03

@nodejs-github-bot nodejs-github-bot deleted the actions/tools-update-lint-md-dependencies branch March 15, 2023 19:04
targos pushed a commit that referenced this pull request Mar 18, 2023
PR-URL: #47045
Reviewed-By: Rich Trott <[email protected]>
Reviewed-By: Moshe Atlow <[email protected]>
Reviewed-By: Luigi Pinca <[email protected]>
Reviewed-By: Yagiz Nizipli <[email protected]>
danielleadams pushed a commit that referenced this pull request Jul 6, 2023
PR-URL: #47045
Reviewed-By: Rich Trott <[email protected]>
Reviewed-By: Moshe Atlow <[email protected]>
Reviewed-By: Luigi Pinca <[email protected]>
Reviewed-By: Yagiz Nizipli <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
needs-ci PRs that need a full CI run. tools Issues and PRs related to the tools directory.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants