Skip to content

fix(skills-sync): use the skills-sync environment; no PR for no-op upstream commits - #80

Merged
krassx merged 1 commit into
mainfrom
fix/skills-sync-environment
Oct 8, 2026
Merged

krassx merged 1 commit into
mainfrom
fix/skills-sync-environment

Conversation

@krassx

@krassx krassx commented Oct 8, 2026

Copy link
Copy Markdown
Contributor

Follow-up to #78, found on its first run (https://github.com/bugsee/docs/actions/runs/37785104403).

Problems

  1. Key empty, app-token step skipped. The app private key lives in the skills-sync environment, but the merged workflow lacked environment: skills-sync (my last commit on feat(ai): generate the SDK agent skills from bugsee-for-ai #78 missed the merge). The job saw SYNC_APP_PRIVATE_KEY as empty, skipped "Mint a short-lived GitHub App token" and fell back to GITHUB_TOKEN.
  2. PR for nothing (chore(skills): sync agent skills from bugsee-for-ai #79). --update moved the pin to bugsee-for-ai main on every run, so any upstream commit — even CI-only ones like the two that triggered chore(skills): sync agent skills from bugsee-for-ai #79 — produced a sync PR whose only change is scripts/skills-source.json.

Fix

  • environment: skills-sync on the job (+ comment).
  • mirror-skills --update now moves the pin only when the generated files change. The old pin keeps producing identical files, so --check is unaffected. Verified against upstream ebcf4e2: 0 files changed … pin kept.

Verified

--update (pin kept), --check OK, mirror unit tests 8/8, workflow YAML parses.

#79 can be closed after this merges (it only bumps the pin).

🤖 Generated with Claude Code

… for no-op upstream commits

- Declare `environment: skills-sync` on the job. The app private key is an
  environment secret there; the merged workflow lacked the declaration, so
  the key was empty and the app-token step was skipped.
- `mirror-skills --update` moved the pin to bugsee-for-ai main on every run,
  so any upstream commit (CI, README, ...) opened a sync PR whose only change
  was scripts/skills-source.json. Now the pin moves only when the generated
  files change; the older pin keeps producing identical files.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Change-Id: Ide7ed6aa6fc94a78ef3e502e3d7e248dea2ca09c
@krassx
krassx merged commit 4a54750 into main Oct 8, 2026
1 check passed
@krassx
krassx deleted the fix/skills-sync-environment branch October 8, 2026 13:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant