Labels
Labels
23 labels
- This PR introduces breaking changes
- Something isn't working
- This PR fixes a bug
- This is a maintenance PR
- Pull requests that update a dependency file
- Improvements or additions to documentation
- This issue or pull request already exists
- New feature or request
- This PR introduces a new feature
- Pull requests that update Github_actions code
- Good for newcomers
- Extra attention is needed
- This doesn't seem right
- Pull requests that update Java code
- Merging this PR leads to a major version increment
- This PR fixes a major bug
- This PR introduces a major new feature
- Merging this PR leads to a minor version increment
- Further information is requested
- This PR removes a feature or a public API
- This PRs changes will be ignored in the changelog
- This will not be worked on