Labels

• ai:none

  For PRs that make no use of AI (or only use it as a search engine)
• ai:supervised

  For PRs that make use of AI but with supervision
• ai:vibe

  For fully or mostly vibe-coded PRs, i.e. minimal supervison
• blocked:author

  PR is waiting for author
• blocked:reviewer

  PR is waiting for the reviewer
• difficulty:nontrivial

  This PR is not trivial, and requires more detailed review
• difficulty:trivial

  Can be merged if no review after 1 day
• tested:no

  This PR was not tested
• tested:yes

  This PR was tested