Development

Environment setup, the gates, tests, documentation builds, releases, and the pull request workflow moved to .github/CONTRIBUTING.md on GitHub.