Labels

• bounty

  bounty

  Bounty

• bounty_difficulty/easy

  bounty_difficulty/easy

• bounty_difficulty/hard

  bounty_difficulty/hard

• bounty_difficulty/medium

  bounty_difficulty/medium

• bounty_difficulty/warmup

  bounty_difficulty/warmup

• bug

  bug

  Something isn't working

• ci-bug

  ci-bug

• community

  community

• dependencies

  dependencies

  Pull requests that update a dependency file

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  New feature or request

• external_report

  external_report

• good-first-issue

  good-first-issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• internal_report

  internal_report

• invalid

  invalid

  This doesn't seem right

• machine-chaos

  machine-chaos

• non-det

  non-det

• P0

  P0

• P1

  P1

• P2

  P2

• p3

  p3

• python

  python

  Pull requests that update python code

• question

  question

  Further information is requested

• tools-ci

  tools-ci

• umd-backend

  umd-backend

• wontfix

  wontfix

  This will not be worked on