add `needs-ci` label for PRs made modifying `tools/` in core repo
还没有人认领这个 Issue。
评估
- 难度
- 3/5
- 预计耗时
- 1-2 天
- 新手友好度
- 45/100
- Issue 类型
- 功能
- 描述清晰度
- 基本清楚
- 活跃度
- 停滞
- 技术栈
- github, javascript
调研方向
先阅读 issue #41102 以了解尚未解决的请求，然后跟踪此 github-bot 如何处理修改核心仓库 tools/ 路径的 pull request 的标签。完成标准是：修改 tools/ 的 pull request 会获得 needs-ci 标签，同时保留其他路径的现有行为。
由索引模型根据 Issue 内容生成。
描述
This was requested by @BridgeAR in https://github.com/nodejs/node/issues/41102, but had not yet been fully resolved by the PR that closed that issue. I have not contributed to this repo in a while, but I may be able to handle it here if there is any interest in getting this taken care of here.
/cc @Trott @aduh95
- 主要语言
- JavaScript
- 星标
- 305
- 派生
- 148
- 平均合并
- 9 小时 2 分钟
- 30 天内合并 PR
- 3
贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
nodejs/github-bot 的其他 Issue
-
难度 4/5 3-5 天 新手友好度 20/100
nodejs/github-bot#283 · 3 条评论 ·
-
难度 5/5 一周以上 新手友好度 25/100
nodejs/github-bot#264 · 9 条评论 · 1 个 reaction ·
-
难度 3/5 1-2 天 新手友好度 35/100
nodejs/github-bot#262 · 2 条评论 ·
-
难度 4/5 3-5 天 新手友好度 35/100
nodejs/github-bot#251 · 5 条评论 ·
-
难度 5/5 一周以上 新手友好度 20/100
nodejs/github-bot#233 · 1 条评论 ·