ci(pages): PR-based gh-pages updates - #34

Merged

mojoatomic merged 2 commits into

mainfrom

docs/spec-rfc-touchups

Oct 3, 2025

Commits on Oct 3, 2025

ci(pages): switch to PR-based gh-pages updates to satisfy branch protection
Doug Fennell
committed
0ac5e1e
ci(pages): grant pull-requests: write and preserve mike commits (no fetch) before PR
Doug Fennell
committed
705b866