Skip to content

ci: stop storing the package tables in git - #154

Merged
ruben-arts merged 1 commit into
RoboStack:mainfrom
Hofer-Julian:fetch-tables-on-demand
Aug 10, 2026
Merged

ci: stop storing the package tables in git#154
ruben-arts merged 1 commit into
RoboStack:mainfrom
Hofer-Julian:fetch-tables-on-demand

Conversation

@Hofer-Julian

Copy link
Copy Markdown
Contributor

The six-hourly refresh no longer commits to main.
We just generate the data on-the-fly.

  • deploy.yml takes over the schedule: regenerate the tables, build, deploy
  • public/data/*.json is gitignored; only the foxy and galactic snapshots
    stay committed, their channels are gone
  • New ensure-tables task downloads the deployed tables when the local copy
    is missing or older than 6 hours; serve and build-docs depend on it

@Hofer-Julian
Hofer-Julian marked this pull request as ready for review August 10, 2026 14:59
The six-hourly refresh no longer commits to `main`.
We just generate the data on-the-fly.

- `deploy.yml` takes over the schedule: regenerate the tables, build, deploy
- `public/data/*.json` is gitignored; only the `foxy` and `galactic` snapshots
  stay committed, their channels are gone
- New `ensure-tables` task downloads the deployed tables when the local copy
  is missing or older than 6 hours; `serve` and `build-docs` depend on it
@Hofer-Julian
Hofer-Julian force-pushed the fetch-tables-on-demand branch from 43b7934 to cc11e3e Compare August 10, 2026 15:01
@ruben-arts

Copy link
Copy Markdown
Contributor

This works, thanks

@ruben-arts
ruben-arts merged commit a1b9c56 into RoboStack:main Aug 10, 2026
2 checks 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.

2 participants