Labels
Labels
17 labels
- This means a PR servere enough that it should be merged as soon as possible.
- Pull requests that still need to be approved by Development Team member(s).
- Something isn't right.
- Something minor, small visual change.
- Pull requests that update a dependency file
- Do not merge this pull request.
- Improvements or additions to documentation.
- Quality of life changes.
- Extra attention is needed.
- Ideas for the bot.
- Something within the pull request is not right. Normally paired with review comments.
- A new feature being added to the bot.
- Further information is requested from development team.
- Rewriting code to and/or perform better, enhance readability, in preparation of new features.
- Removing a feature.
- Pull requests or issues that will not be addressed or fixed.