Labels

• bug

  When the issue is about a bug
• duplicate

  If a similar issue have already been created
• enhancement

  When the issue is proposing an enhancement
• help wanted

  If we need help to fix the issue
• need element(s)

  If the issue is incomplete and further information is required
• new feature

  The pull request adds a new feature, or the issue submits a new feature
• no news

  The person assigned to this issue has not been giving news for a long time.
• paused

  A closed issue which is just paused, and can be reopened one day.
• question

  If the issue asks a question
• unverified

  If a pull request is ready but not verified by a developer
• wontfix

  If we won't fix the problem