Labels

• area: api

  Public API changes
• area: ci

  GitHub Actions and automation
• area: rendering

  Menu rendering and pagination
• breaking-change

  Breaking API or behavior change
• bug

  Something isn't working
• chore

  Maintenance tasks
• dependencies

  Dependency updates
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• github_actions

  Pull requests that update GitHub Actions code
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• ignore-for-release

  Exclude from generated release notes
• invalid

  This doesn't seem right
• java

  Pull requests that update java code
• priority: high

  High priority work
• question

  Further information is requested
• type: bug

  Something is not working
• type: documentation

  Documentation improvements
• type: enhancement

  New feature or request
• wontfix

  This will not be worked on