Skip to content

Conversation

aduh95
Copy link
Contributor

@aduh95 aduh95 commented Jul 1, 2021

The file was renamed in #38966.

@aduh95 aduh95 added doc Issues and PRs related to the documentations. tools Issues and PRs related to the tools directory. labels Jul 1, 2021
@aduh95 aduh95 added the author ready PRs that have at least one approval, no pending requests for changes, and a CI started. label Jul 1, 2021
@Trott Trott added the request-ci Add this label to start a Jenkins CI on a PR. label Jul 3, 2021
@github-actions github-actions bot removed the request-ci Add this label to start a Jenkins CI on a PR. label Jul 3, 2021
@nodejs-github-bot
Copy link
Collaborator

targos pushed a commit that referenced this pull request Jul 11, 2021
PR-URL: #39221
Reviewed-By: Michaël Zasso <[email protected]>
Reviewed-By: Luigi Pinca <[email protected]>
Reviewed-By: James M Snell <[email protected]>
@targos
Copy link
Member

targos commented Jul 11, 2021

Landed in b5375f2

@targos targos closed this Jul 11, 2021
targos pushed a commit that referenced this pull request Jul 11, 2021
PR-URL: #39221
Reviewed-By: Michaël Zasso <[email protected]>
Reviewed-By: Luigi Pinca <[email protected]>
Reviewed-By: James M Snell <[email protected]>
targos pushed a commit that referenced this pull request Sep 4, 2021
PR-URL: #39221
Reviewed-By: Michaël Zasso <[email protected]>
Reviewed-By: Luigi Pinca <[email protected]>
Reviewed-By: James M Snell <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

author ready PRs that have at least one approval, no pending requests for changes, and a CI started. doc Issues and PRs related to the documentations. tools Issues and PRs related to the tools directory.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants