Labels

• API not ready

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

  Pull requests that update a dependency file
• duplicate

  The issue has already been posted
• external components

  Documentation or changes related to external components
• factual error

  The documentation contains some false statements/examples
• FLARD

  This is gathering dust
• github_actions

  Pull requests that update Github_actions code
• help wanted

  We would appreciate contributions
• high priority

  This needs to be fixed ASAP
• input wanted

  We would like to hear your opinion
• invalid

  This issue does not belong here or the request was declined
• java

  Pull requests that update Java code
• javascript

  Pull requests that update Javascript code
• low priority

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

  Issues/Discussions about the docs backend
• needs review

  The submission is ready and needs to be reviewed
• on hold

  Progress is blocked for some reason
• Ore

  Related to Ore
• outdated docs

  The API has changed and the docs are outdated
• python

  Pull requests that update Python code
• question

  There is a question here that needs an answer
• todo

  A reminder to do things
• type: dependencies