No labels!
There aren’t any labels for this repository quite yet.
A ticket created by the build master meant to be picked up by any developer when it suits them.
Pull requests that update a dependency file
Issues with a design aspect
There is a discussion happening on this issue
This issue or pull request already exists
Issues that do not require a deep understanding of the code base
Pull requests that update Javascript code
This ticket is ready to be merged in
Address a performance concern
This ticket is about improving the development process or reducing technical depth
Pull requests that update Python code
Further information is requested
A ticket with a significant refactoring aspect.
Pull requests that address a security vulnerability
Suggest a change, open to discussion
This ticket relates to typing
Stability issue, occasionnal test failure to investigate
This ticket is related to improved usability
You can’t perform that action at this time.