Pull Requests

Before creating a pull request

Please do the following things before creating a pull request.

Assign an issue

Every pull request should be associated with an open issue. If there is no issue yet, please create one first. If there is an issue, please make sure that it is assigned to you before you start working on it. If it is not assigned to you, please ask to be assigned to it. This is important as we can also inform you about special requirements (e.g. type definitions) at this point.