/external-pr-ci-trigger

Mirror an external contributor's fork branch onto DataDog/saluki as <owner>/<branch> so CI runs against the contributor's PR. The contributor's PR keeps its check status updated by GitHub because the head commit of the mirrored branch matches the PR's head commit.

This skill performs destructive-ish local-git operations (adding a remote, creating a branch, pushing to origin). Read the steps carefully, validate preconditions, and stop on the first failure with the printed recovery commands.

Argument

A single positional argument in one of two forms:

Form A — PR number (preferred): an all-digits string like 1234. The skill resolves the contributor's owner, branch, and fork repo name from the PR via gh. See Step 0.

Form B — explicit owner/branch: <owner>:<branch>, for cases where you don't have a PR number handy (for example, you want to mirror a branch that doesn't have a PR yet).