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

@marco-ippolito marco-ippolito commented Aug 3, 2024

Copy link
Copy Markdown
Member

No description provided.

@nodejs-github-bot nodejs-github-bot added the meta Issues and PRs related to the general management of the project. label Aug 3, 2024
@marco-ippolito marco-ippolito added author ready PRs with CI started, the required approvals, and no outstanding review comments. commit-queue PRs queued for automated landing through the Commit Queue. labels Aug 3, 2024
@nodejs-github-bot nodejs-github-bot removed the commit-queue PRs queued for automated landing through the Commit Queue. label Aug 5, 2024
@nodejs-github-bot
nodejs-github-bot merged commit b3013e1 into nodejs:main Aug 5, 2024
@nodejs-github-bot

nodejs-github-bot commented Aug 5, 2024

Copy link
Copy Markdown
Collaborator

Landed in b3013e1

@avivkeller avivkeller added the strip-types Issues and PRs related to TypeScript type stripping. label Aug 6, 2024
targos pushed a commit that referenced this pull request Aug 14, 2024
@marco-ippolito @targos
tools: add strip-types to label system
e218b7c 
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>
@RafaelGSS RafaelGSS mentioned this pull request Aug 19, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@anonrig anonrig anonrig approved these changes
@MoLow MoLow MoLow approved these changes
@legendecas legendecas legendecas approved these changes
@trivikr trivikr trivikr approved these changes
@jakecastelli jakecastelli jakecastelli approved these changes
+1 more reviewer
@mertcanaltin mertcanaltin mertcanaltin approved these changes
Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

author ready PRs with CI started, the required approvals, and no outstanding review comments. meta Issues and PRs related to the general management of the project. strip-types Issues and PRs related to TypeScript type stripping.

Projects

None yet

Milestone

No milestone

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