Labels

• API not ready

  API not ready

  The API/code is not yet ready so we cannot merge this in yet

• dependencies

  dependencies

  Pull requests that update a dependency file

• duplicate

  duplicate

  The issue has already been posted

• external components

  external components

  Documentation or changes related to external components

• factual error

  factual error

  The documentation contains some false statements/examples

• FLARD

  FLARD

  This is gathering dust

• github_actions

  github_actions

  Pull requests that update Github_actions code

• help wanted

  help wanted

  We would appreciate contributions

• high priority

  high priority

  This needs to be fixed ASAP

• input wanted

  input wanted

  We would like to hear your opinion

• invalid

  invalid

  This issue does not belong here or the request was declined

• java

  java

  Pull requests that update Java code

• javascript

  javascript

  Pull requests that update Javascript code

• low priority

  low priority

  Small issues like typos that don't have much of an impact

• meta

  meta

  Issues/Discussions about the docs backend

• needs review

  needs review

  The submission is ready and needs to be reviewed

• on hold

  on hold

  Progress is blocked for some reason

• Ore

  Ore

  Related to Ore

• outdated docs

  outdated docs

  The API has changed and the docs are outdated

• python

  python

  Pull requests that update Python code

• question

  question

  There is a question here that needs an answer

• todo

  todo

  A reminder to do things

• type: dependencies

  type: dependencies