feat: add GitHub Actions workflow to auto-update W3C groups list#496
feat: add GitHub Actions workflow to auto-update W3C groups list#496marcoscaceres wants to merge 2 commits into
Conversation
There was a problem hiding this comment.
Pull request overview
Adds a scheduled/manual GitHub Actions workflow to keep the generated W3C groups data (data/w3c/groups.json) up to date in the repository, addressing the stale list reported in #395.
Changes:
- Introduces a weekly cron workflow (plus
workflow_dispatch) to rebuild and run the W3C groups update script. - Commits and pushes the updated
data/w3c/groups.json(forcing add for a gitignored path).
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
Adds weekly scheduled workflow that runs update-w3c-groups-list script and commits changes if any groups were added or removed. Closes #395
87cfc7e to
dd2e967
Compare
There was a problem hiding this comment.
Pull request overview
Copilot reviewed 1 out of 1 changed files in this pull request and generated 3 comments.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
There was a problem hiding this comment.
Pull request overview
Copilot reviewed 1 out of 1 changed files in this pull request and generated no new comments.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
| name: Update W3C groups list | ||
| on: | ||
| schedule: | ||
| - cron: '23 3 * * 1' # Weekly on Monday at 03:23 UTC |
There was a problem hiding this comment.
Probably best to do daily.
There was a problem hiding this comment.
Oh, wait, this needs to happen while the server is running, not from here. The repo doesn’t store data.
| env: | ||
| DATA_DIR: ${{ github.workspace }}/data | ||
| - name: Commit changes | ||
| run: | |
There was a problem hiding this comment.
It should only commit if there’s a change.
|
Closing — the repo doesn't store data files. The W3C groups list update needs to happen on the running server (via the existing webhook/prestart mechanism), not via GitHub Actions committing to the repo. Need to rethink the approach: either a cron on the server itself, or a scheduled webhook trigger. |
Summary
git add --forcefor gitignored data directoryCloses #395