Skip to content
This repository was archived by the owner on Mar 4, 2025. It is now read-only.

Labels

Labels

  • 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.
  • Something isn't working
  • 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
  • This doesn't seem right
  • 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