GitHub PR高优先级标记工具 - 为Pull Request添加high-priority标签，优化合并队列管理
mark-high-priority by a2f0/tearleads
1 周安装量
GitHub安装命令
npx skills add https://github.com/a2f0/tearleads --skill mark-high-priority🇨🇳中文介绍
标记高优先级
为 PR 添加 high-priority 标签，以便其他合并队列会话为其让路。
工作流程
-
获取 PR 编号：
gh pr view --json number --jq '.number' -
使用代理工具添加标签：
./scripts/agents/tooling/agentTool.ts addLabel --type pr --number <pr-number> --label "high-priority"
该脚本会自动检查标签是否已存在并验证操作是否成功。
- 报告标签已添加。
注意事项
- 仓库中必须存在
high-priority标签（如果不存在，请创建它）。 - 请谨慎使用，以保持合并队列的公平性。
- 后续如需移除：
gh pr edit <pr-number> --remove-label "high-priority" -R "$REPO"。
每周安装量
1
仓库
首次出现
🇺🇸English
Mark High Priority
Add the high-priority label to a PR so other merge-queue sessions yield to it.
Workflow
-
Get PR number:
gh pr view --json number --jq '.number' -
Add the label using the agent tool:
./scripts/agents/tooling/agentTool.ts addLabel --type pr --number <pr-number> --label "high-priority"
The script automatically checks if the label is already present and verifies success.
- Report that the label was added.
Notes
- The
high-prioritylabel must exist in the repository (create it if it doesn't). - Use sparingly to keep the merge queue fair.
- To remove later:
gh pr edit <pr-number> --remove-label "high-priority" -R "$REPO".
广告位招租
在这里展示您的产品或服务
触达数万 AI 开发者，精准高效
