Skip to content

ci: protect synced folder from manual changes#23

Merged
mike-ainsel merged 1 commit intomainfrom
MILAB-5891-helm-chart-pl-repo
Mar 17, 2026
Merged

ci: protect synced folder from manual changes#23
mike-ainsel merged 1 commit intomainfrom
MILAB-5891-helm-chart-pl-repo

Conversation

@vgpopov
Copy link
Contributor

@vgpopov vgpopov commented Mar 17, 2026

Summary

  • Adds a GitHub Actions workflow that blocks PRs modifying charts/platforma/ unless the author is github-actions[bot] (the sync bot)
  • Ensures the synced folder stays consistent with the source repo and cannot be accidentally changed by humans

How it works

  • Triggers on PRs targeting main
  • Skips the check for github-actions[bot] actor
  • Fetches changed files via GitHub API, fails if any are under the protected folder

Test plan

  • Open a test PR that modifies a file in charts/platforma/ — should fail
  • Verify the sync bot can still push directly to main without issues
  • Enable branch protection rule requiring this check to pass

Blocks PRs that modify charts/platforma/ unless authored by the
sync bot (github-actions[bot]). Ensures the folder stays in sync
with the source repo and is not accidentally modified by humans.
@notion-workspace
Copy link

Copy link
Member

@mike-ainsel mike-ainsel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good to go

@mike-ainsel mike-ainsel merged commit 786516e into main Mar 17, 2026
1 check passed
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.

3 participants