Labels

Something isn't working

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Pull requests that update Github_actions code

Good for newcomers

Extra attention is needed

This doesn't seem right

Further information is requested

This will not be worked on

Pull Request needs changes before it can be reviewed again

Pull Request has been approved and can be merged

Pull Request has been merged successfully

Pull Request needs more approvals

Pull Request is not reviewed yet

Still work-in-progress, please don't review and don't merge