Labels

Everything related to Bots

Indicates an unexpected problem or unintended behavior

Indicates code improvements

This issue should be discussed before getting fixed/implemented

Indicates similar issues or pull requests

Indicates new feature requests

Pull requests that update Github_actions code

Indicates a good issue for first-time contributors

Indicates that a maintainer wants help on an issue or pull request

Indicates that an issue or pull request is no longer relevant

Pull requests that update Java code

Everything related to l10n and Crowdin

Indicates that an issue or pull request needs more information

Coordinate releases

Indicates that work won't continue on an issue or pull request