Development

Environment setup, the gates, tests, and the release process moved to .github/CONTRIBUTING.md so the same file governs GitHub’s contributing prompt and this page.