Labels

Something isn't working

Port build history from buildbot

Pull requests that update a dependency file

This issue or pull request already exists

New feature or request

Good for newcomers

Extra attention is needed

Port installation statistis

This doesn't seem right

Improvements of style & layout

Provide more details info about ports

High priority

Default priority

Medium low priority

Low priority

Pull requests that update Python code

Further information is requested

Pull requests that address a security vulnerability

This will not be worked on