Refresh Data #515

	name: Refresh Data

	on:
	schedule:
	- cron: '0 * * * *' # every hour
	workflow_dispatch: # allow manual trigger from GitHub UI

	jobs:
	refresh:
	runs-on: ubuntu-latest
	permissions:
	contents: write

	steps:
	- name: Checkout repo
	uses: actions/checkout@v4

	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: '3.12'

	- name: Install uv
	run: pip install uv

	- name: Install Python dependencies
	run: uv sync --all-extras

	- name: Fetch fresh data from GitHub
	env:
	GH_ACCESS_TOKEN: ${{ secrets.GH_ACCESS_TOKEN }}
	run: uv run python gfi/populate.py

	- name: Commit and push updated data
	run: \|
	git config user.name "github-actions[bot]"
	git config user.email "github-actions[bot]@users.noreply.github.com"
	git add data/generated.json data/tags.json
	git diff --staged --quiet \|\| (git commit -m "chore: refresh data [skip ci]" && git push)

Navigation Menu