Ship it For a full shipping request, finish with the change committed, pushed, open as a ready pull request, and green in CI. Open a new PR as non-draft, then finish the repository's required review and local verification while CI runs. A narrower request keeps its scope. For CI-only repair, fix the affected branch and checks without creating a PR or changing its draft/ready state, base, title, or unrelated content. For monitoring only, report results without making fixes. An explicit request to keep a draft takes precedence over the full workflow. Do not merge the PR unless asked. Pause only…