Labels

This issue or pull request is blocked by something outside the authors' control

Something isn't working as expected

Pull requests that update a dependency file

Improvements or additions to documentation

New feature or request

Pull requests that update go code

Extra attention is needed

The issues was opened or updated when @favonia was sick and needs further reviews

Related to what the tool outputs to the end user

This is low priority, usually because no one has requested the feature yet

There is probably enough information, but a good design is missing; more use cases might help.

More information is needed to decide the next step.

Question about the usage of the tool, which may or may not lead to code/documentation changes

Related to testing