Contributing

Contributing guidelines — environment setup, the gates, tests, documentation builds, releases, and pull requests — moved to .github/CONTRIBUTING.md. Prose conventions moved to .github/WRITING.md.