Development

Environment setup, the gates, tests, documentation, releasing, and pull request conventions now live in one place: .github/CONTRIBUTING.md on GitHub.