Labels

• conclusion: declined

  Will not be worked on
• conclusion: duplicate

  Has already been submitted
• conclusion: invalid

  Issue/PR not valid
• conclusion: moved

  Issue/PR moved to another repository
• conclusion: off topic

  Off topic for this repository
• conclusion: resolved

  Issue was resolved
• criticality: high

  Of high impact
• criticality: highest

  Of highest impact
• criticality: low

  Of low impact
• criticality: medium

  Of moderate impact
• help wanted

  Assistance from the community is especially welcome
• priority: high

  Resolution is a high priority
• priority: low

  Resolution is a low priority
• priority: medium

  Resolution is a medium priority
• status: blocked

  Progress on this prevented by an external cause
• status: changes requested

  Changes to PR are required before merge
• status: in progress

  Work is in progress on this
• status: maintenance required

  Infrastructure failure unrelated to request
• status: on hold

  Do not proceed at this time
• status: pending backend

  Depends on backend maintenance operations
• status: waiting for information

  More information must be provided before work can proceed
• topic: code

  Related to content of the project itself
• topic: documentation

  Related to documentation for the project
• topic: infrastructure

  Related to project infrastructure
• topic: invalid

  Request could not be processed
• topic: modification

  Change existing list entry
• topic: other

  Something other than a library list request
• topic: release removal

  Remove a library release
• topic: removal

  Remove library from the list
• topic: rename

  Change registered library name