Labels
Labels
21 labels
- Improvements or additions to documentation
- Core algorithm of the tool
- Modifications to the formatting rules
- Third party dependency
- Pull requests that update a dependency file
- Good for newcomers
- Extra attention is needed
- Pull requests that update javascript code
- Needs discussion
- We agree it is good to implement this
- This will not be worked on
- Something isn't working
- This issue or pull request already exists
- New feature or request
- A bug difficult to find in the real world
- This doesn't seem right
- Further information is requested