Skip to content

fix(ci): auto-commit rebuilt index.html to PR branch - #4

Merged
gmermoud merged 2 commits into
mainfrom
fix/ci-build-on-pr
Mar 18, 2026
Merged

fix(ci): auto-commit rebuilt index.html to PR branch#4
gmermoud merged 2 commits into
mainfrom
fix/ci-build-on-pr

Conversation

@gmermoud

@gmermoud gmermoud commented Mar 18, 2026

Copy link
Copy Markdown
Contributor

Summary

  • Replaces the verify-only CI check with a build job that regenerates index.html and commits it back to the PR branch automatically
  • Contributors no longer need to run build.py locally — just push data file changes and open a PR
  • Uses [skip ci] on the bot commit to prevent workflow re-triggering
  • Updates README to reflect the simplified contributor workflow

How it works

  1. PR is opened/updated with changes to data/, assets/team/, or build.py
  2. CI checks out the PR head branch, runs build.py
  3. If index.html changed, bot commits and pushes it to the PR branch
  4. On merge, the updated index.html lands on main and GitHub Pages picks it up

Test plan

  • Open a PR editing a file under data/team/ without running build.py locally
  • Verify CI commits chore: rebuild index.html [skip ci] to the PR branch
  • Verify the PR diff includes the updated index.html
  • After merge, confirm the live site reflects the changes

The previous workflow pushed the rebuilt index.html directly to main,
which failed silently due to branch protection. Switch to a pre-merge
check: contributors run build.py locally and include index.html in
their PR; CI fails if the committed HTML is stale.

Also rebuilds index.html to include Marc Gillioz's updated profile,
which was lost when the post-merge CI pushes were rejected.
Replace the verify-only check with a build job that regenerates
index.html and commits it back to the PR branch. Contributors no
longer need to run build.py locally.
@gmermoud gmermoud changed the title fix(ci): verify index.html in PR instead of pushing post-merge fix(ci): auto-commit rebuilt index.html to PR branch Mar 18, 2026
@gmermoud
gmermoud merged commit c7944fc into main Mar 18, 2026
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