Labels

• bug

  Something isn't working or doesn't seem right
• codex
• continuous-integration

  Continuous integration (CI)
• documentation

  Improvements or additions to documentation
• enhancement

  New feature or request
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• question

  Further information is requested
• Review effort 1/5
• Review effort 2/5
• Review effort 3/5
• Review effort 4/5
• website

  Website changes