Labels · proofscape/pise

breaking

Includes breaking changes requiring a major version increment

bug

Something isn't working

CLI

Command-line tools

client

client-side (all or primarily)

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Good for newcomers

Extra attention is needed

invalid

This doesn't seem right

CI, release procedures, etc.

manage

concerns management code (all or primarily)

question

Further information is requested

server

server-side (all or primarily)

wontfix

This will not be worked on

Provide feedback