Labels

• API
• bug
• build system
• database
• datasource
• dependencies

  Pull requests that update a dependency file
• documentation
• duplicate
• enhancement
• frontend
• good first issue
• helper scripts
• import/export
• invalid
• judging backend
• languages
• low prio

  Low priority things
• needs-input
• php

  Pull requests that update php code
• question
• scoring
• security

  Pull requests that address a security vulnerability
• shadowing
• testing
• unreproducible
• waiting-for-clics
• waiting-for-problem-spec
• web interface
• webbackend
• wontfix