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!