Labels

• bounty
• bounty_difficulty/easy
• bounty_difficulty/hard
• bounty_difficulty/medium
• bounty_difficulty/warmup
• bug

  Something isn't working
• ci-bug
• community
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• external_report

  reports from external users
• good-first-issue

  Good for newcomers
• help wanted

  Extra attention is needed
• internal_report

  reports from internal users
• invalid

  This doesn't seem right
• machine-chaos
• non-det
• Packaging

  This is specifically related to distro level packaging
• question

  Further information is requested
• rust

  Pull requests that update rust code
• tools-ci
• wontfix

  This will not be worked on