Labels

• backend

  Touches backend functionality
• bug

  Something isn't working
• CI
• dependencies

  Pull requests that update a dependency file
• deployment/docker
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• frontend

  Touches frontend functionality
• github_actions

  Pull requests that update GitHub Actions code
• high priority

  will be among the next things we do
• low priority

  if we should have lots of time
• medium priority

  well be done at some point
• question

  Further information is requested
• runner

  Touches runner functionality
• wontfix

  This will not be worked on