Labels

• admin:advance-to-director

  Admin override to advance PR from technical edit to Director review
• admin:approve-merge-after-push

  Admin override to re-flip merge gate to success after post-approval commits were pushed
• assign:ai-editor-review

  Pre-pin the next reviewer assignment to technical edit (apply before clicking Assign)
• assign:director-review

  Pre-pin the next reviewer assignment to Director review (apply before clicking Assign)
• assign:lead-civil-review

  Pre-pin the next reviewer assignment to Lead Civil review (apply before clicking Assign)
• assign:peer-review

  Pre-pin the next reviewer assignment to peer review (apply before clicking Assign)
• bug

  Something isn't working
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• in progress

  Currently being worked on
• invalid

  This doesn't seem right
• lane:dev

  Dev docs (docs/dev/**) — admin self-merge, no review required
• lane:editorial-fix

  Editorial fix (admin self-merge, no review required)
• lane:major-revision

  Major revision (Peer → Lead Civil)
• lane:minor-revision

  Minor revision (Peer review only)
• lane:new-doc

  New document review (Peer → Lead Civil → Technical Edit → Director)
• question

  Further information is requested
• stage:ai-editor-review

  Currently in technical editor review
• stage:director-review

  Currently in Director review
• stage:lead-civil-review

  Currently in RMC Lead Civil review
• stage:needs-lane

  Awaiting admin to assign a review lane
• stage:peer-review

  Currently in peer review
• stage:ready-to-merge

  All reviews complete, ready for final merge
• wontfix

  This will not be worked on