Skip to content

tools: add strip-types to label system - #54185

Merged
nodejs-github-bot merged 1 commit into
nodejs:mainfrom
marco-ippolito:fix/add-strip-types-labelling
Aug 5, 2024
Merged

tools: add strip-types to label system#54185
nodejs-github-bot merged 1 commit into
nodejs:mainfrom
marco-ippolito:fix/add-strip-types-labelling

Conversation

@marco-ippolito

Copy link
Copy Markdown
Member

No description provided.

@nodejs-github-botnodejs-github-bot added the meta Issues and PRs related to the general management of the project. label Aug 3, 2024
@marco-ippolitomarco-ippolito added author ready PRs that have at least one approval, no pending requests for changes, and a CI started. commit-queue Add this label to land a pull request using GitHub Actions. labels Aug 3, 2024
@nodejs-github-botnodejs-github-bot removed the commit-queue Add this label to land a pull request using GitHub Actions. label Aug 5, 2024
@nodejs-github-bot
nodejs-github-bot merged commit b3013e1 into nodejs:mainAug 5, 2024
@nodejs-github-bot

Copy link
Copy Markdown
Collaborator

Landed in b3013e1

@avivkelleravivkeller added the strip-types Issues or PRs related to strip-types support label Aug 6, 2024
targos pushed a commit that referenced this pull request Aug 14, 2024
PR-URL: #54185
Reviewed-By: Jake Yuesong Li <jake.yuesong@gmail.com>
Reviewed-By: Chengzhong Wu <legendecas@gmail.com>
Reviewed-By: Moshe Atlow <moshe@atlow.co.il>
Reviewed-By: Yagiz Nizipli <yagiz@nizipli.com>
Reviewed-By: Trivikram Kamat <trivikr.dev@gmail.com>
@RafaelGSSRafaelGSS mentioned this pull request Aug 19, 2024
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

author readyPRs that have at least one approval, no pending requests for changes, and a CI started.metaIssues and PRs related to the general management of the project.strip-typesIssues or PRs related to strip-types support

Projects

None yet

Development

Successfully merging this pull request may close these issues.

10 participants

@marco-ippolito@nodejs-github-bot@anonrig@MoLow@legendecas@trivikr@mertcanaltin@jakecastelli@targos@avivkeller