Labels

• dependent

  Used by the "DEP" app to mark PRs and issues that depend on other PRs or issues.
• documentation

  Issues that require a change or addition in the respective documentation, once implemented.
• don't merge yet

  Pull requests that must not be merged yet, e.g. because another pull request must be merged first.
• inform customer

  Issues that require informing customers once solved or released (not in combination with "support").
• question

  Issues that were created to ask for clarification on how something works or is supposed to work.
• refactoring

  Issues that describe one or more code changes that neither fix a bug nor change the business logic.