Repository navigation

Quote non-commercial restrictions, add a banner for them, refresh thi… #131

	name: Deploy GitHub Pages

	on:
	push:
	branches: [main]
	workflow_dispatch:
	# Weekly rebuild so the freshness ages never lag the calendar by more than
	# about a week when nothing is pushed.
	schedule:
	- cron: "17 6 * * 1"

	permissions:
	contents: read
	pages: write
	id-token: write

	concurrency:
	group: pages
	cancel-in-progress: true

	jobs:
	# The same tests, validation and page checks as a pull request runs.
	validate:
	uses: ./.github/workflows/ci.yml

	build:
	needs: validate
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
	with:
	# The sitemap's lastmod dates come from git history.
	fetch-depth: 0

	- name: Setup Node
	uses: actions/setup-node@949feb2413d6458794dcd2491c4babbbce0c15c1 # v7.1.0
	with:
	node-version-file: .nvmrc

	- name: Build site
	run: node site/build.mjs

	- name: Upload Pages artifact
	uses: actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9 # v5.0.0
	with:
	path: site/dist

	deploy:
	needs: build
	runs-on: ubuntu-latest
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	steps:
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@368f82528645a54fb793d4d04e342629a3f51346 # v5.0.1