Skip to content

chore: add II spec sync files to BOT_APPROVED_FILES#275

Merged
marc0olo merged 2 commits into
mainfrom
infra/bot-approved-files-ii-spec
May 26, 2026
Merged

chore: add II spec sync files to BOT_APPROVED_FILES#275
marc0olo merged 2 commits into
mainfrom
infra/bot-approved-files-ii-spec

Conversation

@marc0olo
Copy link
Copy Markdown
Member

@marc0olo marc0olo commented May 26, 2026

Summary

Fixes the failing check on #273 and prevents the same failure on future II spec sync PRs.

Sync recommendation

hand-written

The sync-ii-spec bot workflow changes `.sources/internetidentity` and
`public/references/internet-identity.did`, but those paths were not
listed in the approved files policy, causing the Check Bot Policies
check to fail on PR #273.
@marc0olo marc0olo requested a review from a team as a code owner May 26, 2026 15:19
The sync-ii-spec workflow also regenerates
`docs/references/internet-identity-spec.md` and
`docs/references/verifiable-credentials-spec.md` when upstream spec
content changes. These were missing from the approved files list and
would cause the bot check to fail on any future sync that touches
those files.
@marc0olo marc0olo merged commit ee319c3 into main May 26, 2026
7 checks passed
@marc0olo marc0olo deleted the infra/bot-approved-files-ii-spec branch May 26, 2026 16:03
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.

2 participants