Labels

• bug

  Issue or PR related to bugs in the documents or the build system.
• content revision

  Issue or PR related to the content of the example documents.
• duplicate

  Duplicate issue or pull request.
• enhancement

  Issue or PR proposing an enhancement of a current features.
• help wanted

  Issue or PR where help from outside is wanted.
• invalid

  Invalid issue or pull request.
• needs investigation

  Issue or PR dealing with (yet) unclear behavior.
• new feature

  Issue or PR proposing a new feature.
• question

  Issue or PR dealing with questions of any kind.
• wontfix

  Issue or PR that will not be dealt with.