Getting Started

Did you find a bug?

  • Ensure the bug was not already reported by searching in GitHub issues.

  • If youโ€™re unable to find an open issue addressing the problem, open a new one. Choose and follow the issue template to include as much relevant information as possible and/or an executable test case demonstrating the expected behavior that is not occurring.

Did you write a patch that fixes a bug?

  • Open a new GitHub pull request with the patch here.

  • Ensure the PR description clearly describes the problem and solution. Include the relevant issue number if applicable.

Do you intend to add a new feature or change an existing one?

  • Suggest your change under GitHub Issues and start writing code. Use the information about building and testing.

  • Send a PR when finished. Remember to check if your PR fixes another existing issue as well as the one you opened.

Thanks!

ร—