Skip to content

fix(policy): ship public github-actions profile - #44

Merged
rldyourmnd merged 2 commits into
mainfrom
fix/public-github-actions-policy
Aug 28, 2026
Merged

fix(policy): ship public github-actions profile#44
rldyourmnd merged 2 commits into
mainfrom
fix/public-github-actions-policy

Conversation

@rldyourmnd

Copy link
Copy Markdown
Contributor

Summary

  • move the public github-actions repository merge profile into the released policy set
  • cover that profile through the released-projection CLI integration
  • synchronize generated GDS projections

RC3 consumer validation found this missing profile before any partial module rollout. The policy contains only public product merge semantics; no estate/runtime facts move into public source.

Verification

  • gds validate policies --json
  • TestGenerateRepositoryConsumesVerifiedReleasedBundle
  • schema validation
  • projection check

@rldyourmnd
rldyourmnd merged commit d8b7b63 into main Aug 28, 2026
7 checks passed
@rldyourmnd
rldyourmnd deleted the fix/public-github-actions-policy branch August 28, 2026 05:05
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