Development

Environment setup, the gates, tests, documentation builds, and the release process now live in .github/CONTRIBUTING.md, which is also what GitHub shows when you open a pull request. Read it there — this page only keeps the published URL working.