Mark High Priority

Add the high-priority label to a PR so other merge-queue sessions yield to it.

Workflow

1. Get PR number:

   gh pr view --json number --jq '.number'
   

2. Add the label using the agent tool:

   ./scripts/agents/tooling/agentTool.ts addLabel --type pr --number <pr-number> --label "high-priority"