Guidelines

New ideas, improvements, bugfixes, and new developer tools are always welcome. Follow these guidelines before getting started:

1. Make sure to read Getting Started and Tooling and Conventions.

2. Check GitHub for existing open issues, or open a new issue to begin a discussion.

3. To get started on a pull request, fork the repository on GitHub, create a new branch, and make updates.

4. Write unit tests, ensure the code is 100% covered, update documentation where necessary, and format and style the code correctly.

5. Send a pull request.