Add update-androidsdk-packages skill and skill-runner workflow

[jonathanpeppers]

Why

src/androidsdk/androidsdk.csproj pins Android SDK package versions/revisions/URLs/SHA-256 hashes in Configuration.props and src/androidsdk/androidsdk.targets. Google republishes tool revisions on its own cadence (see PR #12371 for the last manual refresh), and keeping these two files in sync is a repetitive, error-prone task: it requires querying Google's manifest, distinguishing stable from preview releases, and recomputing SHA-256 hashes per host/arch since Google only publishes SHA-1.

What this adds

update-androidsdk-packages Copilot skill (.github/skills/update-androidsdk-packages/)

Automates the refresh, matching the pattern from PR #12371. It enforces two hard rules:

• Never touch the Android NDK (_XAAndroidNdk*/XAAndroidNdkHash*) - out of scope, separate release cadence.
• Never add a new Android platform API level to _PlatformPackage - only refresh revisions/hashes of API levels already in the catalog. If a newer stable platform level exists upstream than what's in the catalog (e.g. platform 37.1 while the catalog tops out at 37.0), the skill must always surface that fact in its summary, even if nothing else changed.

Bundled resources:

• scripts/fetch_repo_package.cs, scripts/sha256_of_url.cs - C# file-based dotnet run apps (matching the ci-status skill's convention) that query Google's repository2-3.xml manifest and compute authoritative SHA-256 hashes by downloading archives to a scratch temp file. Preview/alpha/beta/RC/canary releases are filtered out using a word-boundary regex plus the <revision><preview> element, since channelRef alone isn't a reliable signal.
• references/package-catalog.md - maps each package family to its manifest path and Configuration.props/androidsdk.targets properties.
• evals/evals.json - realistic prompts covering normal updates and both hard-rule exclusions.

Validated by building Xamarin.Android.Tools.BootstrapTasks.csproj (required for androidsdk.csproj to evaluate), live-testing both scripts against Google's real manifest, and a rubber-duck review that found and fixed several bugs (false-positive preview matches inside substrings, relative archive URLs not resolved against the manifest base URI, preview revisions colliding in the sort key, and more).

skill-runner agentic workflow (.github/workflows/skill-runner.md)

A gh-aw workflow, modeled on nightly-fix-finder, that runs repository Copilot skills unattended on a weekly schedule or on demand:

• workflow_dispatch exposes a skill dropdown (currently just update-androidsdk-packages, validated against an ELIGIBLE_SKILLS allowlist). When no skill is explicitly selected, one is picked at random among eligible skills.
• The prompt is skill-agnostic: it loads whichever SKILL.md was selected and follows it verbatim.
• Every run reports its outcome - including no-ops, a newly published platform level found upstream, and any errors - on a self-deduplicating tracking issue. A PR is opened only when validated changes are produced, restricted to Configuration.props and src/androidsdk/androidsdk.targets.
• An "Adding a New Skill" section documents how to wire in additional skills later.

Review notes

• No functional/build code is touched by this PR - it's entirely new skill/workflow tooling.
• skill-runner.lock.yml is generated via gh aw compile; don't hand-edit it.
• The workflow's PAT-pool secret usage mirrors the already-approved pattern in nightly-fix-finder.md.

[Copilot]

Pull request overview

Adds repository automation to keep Android SDK package pins (revisions/URLs/SHA-256) in sync with Google’s stable SDK manifest by introducing a dedicated Copilot skill and an unattended “skill runner” gh-aw workflow.

Changes:

• Introduces the update-androidsdk-packages skill with detailed, hard-rule-guided procedure and bundled helper scripts for manifest querying + SHA-256 computation.
• Adds a scheduled/on-demand skill-runner gh-aw workflow (plus generated lock file) to execute eligible skills, open PRs for validated changes, and report outcomes via a tracking issue.

Reviewed changes

Copilot reviewed 6 out of 7 changed files in this pull request and generated 1 comment.

Show a summary per file

File	Description
.github/workflows/skill-runner.md	New gh-aw workflow definition to select/run an eligible skill and bootstrap prerequisites.
.github/workflows/skill-runner.lock.yml	Generated compiled workflow output for skill-runner.md.
.github/skills/update-androidsdk-packages/SKILL.md	Skill playbook defining scope, hard rules, workflow, validation, and reporting requirements.
.github/skills/update-androidsdk-packages/scripts/sha256_of_url.cs	Helper script to download an archive and print SHA-256 for pinning.
.github/skills/update-androidsdk-packages/scripts/fetch_repo_package.cs	Helper script to query Google’s manifest for package revisions/archives and flag preview-looking entries.
.github/skills/update-androidsdk-packages/references/package-catalog.md	Reference mapping of package families to manifest paths and repo pin locations.
.github/skills/update-androidsdk-packages/evals/evals.json	Skill evaluation prompts/expectations to validate behavior and hard-rule exclusions.

[jonathanpeppers]

/review

[github-actions]

✅ Android PR Reviewer completed successfully!

Generated by Android PR Reviewer for #12374

[github-actions]

⚠️ Needs Changes

Findings: 0 errors · 1 warning · 0 suggestions

The skill/workflow separation, allowlisted output files, NDK/platform guardrails, and relative-manifest URL handling are well designed. The archive hashing path should verify Google's manifest-provided SHA-1 and size before treating the downloaded bytes as authoritative and emitting the SHA-256 pin.

CI is still in progress: four checks plus CLA have passed, three platform builds are running, and the aggregate check is queued; no failures are currently reported.

Generated by Android PR Reviewer for #12374 · gpt56 · 129.2 AIC · ⌖ 8.85 AIC · ⊞ 25.6K
_{Comment /review to run again}

[jonathanpeppers]

@dalexsoto review

[dalexsoto]

Five workflow blockers remain:

1. Manual dispatch can run from an arbitrary branch; unpinned checkouts execute that branch’s build/skill content and can open output from it. Require main, pin both checkouts, and set the PR base explicitly.

2. The skill installs sources into sources/android-37.0, while consumers resolve sources/android-37; distinguish archive version 37.0 from the integer destination.

3. Platform search results sort only by package revision, not API/extension level, so older platforms can be reported as newest. Sort platform paths by API and extension.

4. Weekly runs do not detect an existing open update PR, so unchanged main can produce duplicate PRs. Add stable-branch/open-PR deduplication.

5. cancel-in-progress: true can cancel an earlier run before its unconditional report (or during output processing). Serialize without cancellation or otherwise guarantee final reporting.

[jonathanpeppers]

Addressed all five blockers from review 4931001292 in 1a3f6a1: workflows now check out and target main with queued non-cancelling concurrency; source destinations use integer API directories; platform discovery sorts by API/extension; and existing open skill-runner PRs are detected before creating another. The workflow was recompiled and the platform helper was verified against the live manifest.

[dalexsoto]

Two workflow blockers remain:

1. Manual dispatch still does not reject non-main refs. The selected ref controls the workflow/activation content, an activation checkout remains unpinned, and generated PR-context handling can replace the main checkout with branch content. Reject non-main dispatches before activation and disable PR-context checkout for this workflow.

2. Open-PR deduplication is only an agent prompt using a default-limited gh pr list and an “equivalent” judgment. It can miss older PRs or allow multiple skill-runner updates. Use a deterministic paginated/search-filtered key and enforce it immediately before PR creation.

[jonathanpeppers]

Addressed both workflow blockers: manual dispatches are rejected unless the ref is main, and the dedupe check is now a deterministic exact-title search keyed to the selected skill before PR creation.

[dalexsoto]

Three workflow blockers remain:

1. The non-main dispatch rejection runs only after pre_activation, PAT-pool selection, and activation have already processed branch-controlled workflow content. Enforce main at the earliest job/environment conditions before activation.

2. Generated aw_context handling can still replace the pinned main checkout with a PR branch on manual dispatch. Reject PR ambient context or disable that generated checkout.

3. PR deduplication remains prompt-only and bounded to gh pr list --limit 100; it is neither exhaustive nor enforced in the trusted creation path. Add deterministic exhaustive uniqueness enforcement immediately before PR creation.

[jonathanpeppers]

Fixed the remaining blockers by rejecting non-main workflow_dispatch runs before activation, forbidding PR aw_context on manual dispatch, and enforcing the exact-match open-PR dedupe gate before any pull request creation.

[dalexsoto]

Two workflow blockers remain:

1. The main guard is only on activation; pre_activation and pat_pool still run first without the non-main workflow_dispatch condition, so branch-controlled compiled workflow content reaches the protected environment and PAT-selection path before rejection. Apply the main-ref gate to the earliest jobs (including pre_activation/pat_pool), not only their dependent activation job.

2. Open-PR deduplication is still agent-prompt logic and its prescribed command is bounded by gh pr list --limit 100; “repeat/paginate” does not make that command exhaustive, and nothing in the trusted safe-output creation path enforces the exact workflow/skill key. Add deterministic exhaustive uniqueness enforcement immediately before PR creation outside the agent’s discretionary prompt execution.

[jonathanpeppers]

You were right that the previous change only restated the controls in the agent prompt and gated activation too late. Fixed in 354bd42: the ref/PR-context checks are now injected into pre_activation via on.steps, and an exact GitHub search filter prevents any run when an open [skill-runner] update PR for update-androidsdk-packages already exists. The compiled lock file was regenerated.

[dalexsoto]

Four workflow blockers remain:

1. The non-main/PR-context checks are steps inside pre_activation, so the job enters the protected copilot-pat-pool environment and runs setup, membership, and search actions before rejecting branch-controlled dispatches. Put these conditions on the job itself before environment allocation (skill-runner.lock.yml:1712-1776).

2. PR deduplication is neither exact nor enforced at creation: the early title search omits base:main, safe outputs only require the generic [skill-runner] prefix, and the trusted creation handler does not recheck the workflow/skill key. Enforce the exact key against main immediately before creation (skill-runner.lock.yml:1752-1764, 1885-1903).

3. A skip-query match disables activation, which skips the agent and conclusion; the required no-op tracking report and platform-catalog status are never emitted. Route duplicate matches through the mandatory reporting path (skill-runner.lock.yml:1721-1764, 1127-1145).

4. The skill requires both androidsdk.csproj validations with --no-restore, but a fresh runner only restores the unrelated BootstrapTasks graph. androidsdk.csproj/openjdk.csproj therefore have no assets file and validation cannot run. Restore that project first or remove --no-restore from the initial validation (SKILL.md:135-151).

[jonathanpeppers]

Addressed the four latest blockers in 43b5204 and 1e17348: added a custom workflow_guard job required before pre_activation so invalid dispatches never enter the PAT environment; replaced skip-if-match with a base=main, paginated exact-title check that emits a safe noop before agent/PR creation and preserves conclusion reporting; and added dotnet restore src/androidsdk/androidsdk.csproj before --no-restore validation. The compiled lock file was regenerated.