Submission Guidelines

Submitting an Issue

Before starting work on a pull request, please check if there is an open issue that your contribution relates to. If there is no such issue, please create a new issue to describe your contribution and start the discussion.

Submitting a Pull Request (PR)

When you are ready to submit your contribution, please create a pull request. Here are some things to consider:

• Add a descriptive title to the pull request.
• Link the related issue in the pull request.
• Ensure that all tests are successful and no warnings occur.
• Use a descriptive commit message.