Add the 'high-priority' label to a GitHub Pull Request using the gh CLI.
npx skills add https://github.com/a2f0/tearleads --skill mark-high-priority
Please help me install this Agent Skill. Skill: mark-high-priority Source: https://github.com/a2f0/tearleads/tree/main/.codex/skills/mark-high-priority Command: npx skills add https://github.com/a2f0/tearleads --skill mark-high-priority
This Skill ensures that critical Pull Requests are prioritized in the merge queue, preventing delays for urgent fixes or time-sensitive deployments.
high-priority label to a Pull Request.Mark the current pull request as high priority.
High-intent search queries and answers about installing and using this skill.
To label a pull request as high priority, you can use an automated script that applies the 'high-priority' label via the 'gh' CLI tool, which signals automated systems to yield and expedite the PR merging process.
You should use a high-priority label on a GitHub PR when urgent fixes or time-sensitive deployments require bypassing the standard merge queue yielding to prevent delays for critical production bug fixes.
Yes, the high-priority PR labeling process requires the 'gh' CLI tool installed and a pre-existing 'high-priority' label already configured in the target GitHub repository to function correctly.
Yes, you can use this automation to prioritize urgent fixes by adding the 'high-priority' label to your current pull request, ensuring the corresponding PR gets merged as quickly as possible.
VYRE-StudiosDeliverable not available yet. Please check again later. Meanwhile, here's how things stand: there are currently no overdue tasks, everything is fine, proceed with your next task.
kamp-usAutomate squash merging of verified Pull Requests with green CI status.
Kling0012Automate GitHub workflow orchestration and CI/CD management across repositories.
hafley66Automate GitHub repository governance with rulesets, CODEOWNERS, and review policies.