Labels

• API

  API issue
• authn

  Authentication
• authz

  Authorization
• automated
• blocked

  Blocked by another issue
• blocked/need-info ❌

  Blocked, need more information
• blocked/upstream ❌

  Blocked by upstream issue
• bug 🐞

  A confirmed bug
• caching

  Caching issue
• CI

  CI-related
• ci-dont-build

  Tell CI not to build this PR
• cleanup

  Something that needs cleaning up
• core

  Core issue
• database

  Database/persistence issue
• Dependabot

  Related to Dependabot
• dependencies

  Pull requests that update a dependency file
• Do not merge

  Do not merge
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• DX

  Developer experience
• easy

  Should be straightforward to fix
• enhancement

  New feature or request
• eval

  Evaluation issue
• frontend

  Affects/is affected by the web frontend
• github_actions

  Pull requests that update GitHub Actions code
• good first issue

  Good for newcomers
• Haskell

  Haskell-related
• help wanted

  Extra attention is needed
• i18n

  Internationalization
• logging

  Logging-related