repository rules (issues pull requests reporting)

Issues and Pull Requests

We would like to resolve reported issues and pull requests as soon as possible. For a quick and easy workflow, please always provide the branch name (commit tag is even better), version (tag if available) of the code you are referring to.

Before proposing a pull-request please create an issue first. After we discuss the described issue and proposed fix we can decide to create the pull-request.