Labels

• accessibility

  accessibility

• bug

  bug

  Something isn't working

• dependencies

  dependencies

  Pull requests that update a dependency file

• developer experience

  developer experience

• Do Not Merge

  Do Not Merge

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  New feature or request

• frontend infrastructure

  frontend infrastructure

  Anything related to frontend infrastructure

• good first issue

  good first issue

  Good for newcomers

• hacktoberfest

  hacktoberfest

  recommended issues for hacktoberfest participants

• help wanted

  help wanted

  Extra attention is needed

• invalid

  invalid

  This doesn't seem right

• live stream

  live stream

• merge by any core

  merge by any core

  This tag is a signal that you are okay with any core team member merging your code for you.

• priority

  priority

• protege-team

  protege-team

  Core Team Only

• question

  question

  Further information is requested

• testing

  testing

• ui

  ui

• WIP

  WIP

  Work in Progress

• wontfix

  wontfix

  This will not be worked on