Skip to content

No labels!

There aren’t any labels for this repository quite yet.

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