Labels
Labels
20 labels
- A change that changes the API or breaks backward compatibility for users.
- Something isn't working
- Inconsistencies or issues which will cause a problem for users or implementers.
- Certification related issues.
- Improvements or additions to documentation
- Solely about the documentation of the project.
- This issue or pull request already exists
- New feature or request
- Good for newcomers
- Extra attention is needed
- This doesn't seem right
- Merges the PR by creating an internal PR from the GitHub PR branch head to the internal remote
- For older PRs, this label rebases the GitHub PR onto the latest internal main branch
- Updates an internal PR with any new commits or changes on the PR's fork branch
- Further information is requested
- awaiting a response from the author
- This will not be worked on