👍 Thank you for contributing! 👍 These are mostly guidelines, not rules. Use your best judgment and follow these guidelines when contributing to the project.
- Bugs: Tracked as GitHub issues.
- Enhancements: RFE suggestions are tracked as GitHub issues.
- Code: Managed on GitHub through Pull Requests.
- All PRs should pass CI before being merged.
- Maintainers should not press merge on a pull request, instead they should write
bors r+
to a PR. We use bors to ensure main branch never breaks.