Pull Requests

For every pull request at least 2 reviewers have to be assigned.

Merging pull request

When merging a pull request into development branch, it is required to do a standard merge (avoid squash merge). The remaining feature-branch card, which is created by github, can be archived.