Pull request needs code review.
Pull request is reviewed well, but should not yet be merged.
Pull request requires no code review (e.g., a sub-repository hash update).
Pull request is in progress. No review needed at this stage.
Pull request requires merge due to conflicts.
Pull request did not receive any updates in a long time. No review needed at this stage. Close it.
Pull request is waiting for changes on the CI to complete tests before review/merge can begin.
Pull request is reviewed and has significant issues which must be addressed.
Pull request has minor issues that must be addressed before merging.
Pull request has areas for improvement. The author need not address them before merging.
Pull request that reverts recent changes.
Pull request had a shallow review, but should have a follow up before merge.
Pull request is reviewed well, but cannot be merged due to conflicts.
Pull request is reviewed well, but cannot be merged due to tests failing.
Pull request is reviewed well.
Pull request is reviewed well and worth buying the author a beer.
Pull requests that update a dependency file
This issue or pull request already exists
Extra attention is needed
Pull requests that update Javascript code
Further information is requested
The pull request is ready for review
Pull requests that update Rust code
This will not be worked on