Skip to content

Prepare the repository for a public prerelease - #1

Merged
paulglover merged 3 commits into
mainfrom
prerelease-setup
Aug 10, 2026
Merged

Prepare the repository for a public prerelease#1
paulglover merged 3 commits into
mainfrom
prerelease-setup

Refuse pushes to main locally as well as on GitHub

67928bb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar