Changes #14

	name: "Update Editor's Copy"

	on:
	push:
	paths-ignore:
	- README.md
	- CONTRIBUTING.md
	- LICENSE.md
	- .gitignore
	pull_request:
	paths-ignore:
	- README.md
	- CONTRIBUTING.md
	- LICENSE.md
	- .gitignore

	jobs:
	build:
	name: "Update Editor's Copy"
	runs-on: ubuntu-latest
	permissions:
	contents: write
	pull-requests: write
	steps:
	- name: "Checkout"
	uses: actions/checkout@v6

	- name: "Setup"
	id: setup
	run: date -u "+date=%FT%T" >>"$GITHUB_OUTPUT"

	- name: "Caching"
	uses: actions/cache@v5
	with:
	path: \|
	.refcache
	.venv
	.gems
	node_modules
	.targets.mk
	key: i-d-${{ steps.setup.outputs.date }}
	restore-keys: i-d-

	- name: "Build Drafts"
	id: build
	uses: martinthomson/i-d-template@v1
	with:
	token: ${{ github.token }}

	- name: "Fix Lints"
	id: fix-lint
	if: always() && steps.build.outcome == 'failure'
	uses: martinthomson/i-d-template@v1
	with:
	make: fix-lint

	- name: "Propose Linting Fixes"
	if: >
	always() &&
	steps.fix-lint.outcome != 'skipped' &&
	github.event.pull_request &&
	github.event.pull_request.head.repo.full_name == github.repository
	uses: parkerbxyz/suggest-changes@v3
	with:
	token: ${{ github.token }}

	- name: "Update GitHub Pages"
	uses: martinthomson/i-d-template@v1
	if: ${{ github.event_name == 'push' }}
	with:
	make: gh-pages
	token: ${{ github.token }}

	- name: "Archive Built Drafts"
	uses: actions/upload-artifact@v6
	with:
	name: drafts
	path: \|
	draft-*.html
	draft-*.txt

Provide feedback