ship-pr

Merge explicitly named pull requests and land them: check mergeable and green checks, gh pr merge, sync the primary branch, run the validation gate, redeploy if defined, clean up. Use for "merge this