Labels

• admin:advance-to-director

  admin:advance-to-director

  Admin override to advance PR from technical edit to Director review

• admin:approve-merge-after-push

  admin:approve-merge-after-push

  Admin override to re-flip merge gate to success after post-approval commits were pushed

• assign:ai-editor-review

  assign:ai-editor-review

  Pre-pin the next reviewer assignment to technical edit (apply before clicking Assign)

• assign:director-review

  assign:director-review

  Pre-pin the next reviewer assignment to Director review (apply before clicking Assign)

• assign:lead-civil-review

  assign:lead-civil-review

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

• assign:peer-review

  assign:peer-review

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

• bug

  bug

  Something isn't working

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  New feature or request

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• in progress

  in progress

  Currently being worked on

• invalid

  invalid

  This doesn't seem right

• lane:dev

  lane:dev

  Dev docs (docs/dev/**) — admin self-merge, no review required

• lane:editorial-fix

  lane:editorial-fix

  Editorial fix (admin self-merge, no review required)

• lane:major-revision

  lane:major-revision

  Major revision (Peer → Lead Civil)

• lane:minor-revision

  lane:minor-revision

  Minor revision (Peer review only)

• lane:new-doc

  lane:new-doc

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

• question

  question

  Further information is requested

• stage:ai-editor-review

  stage:ai-editor-review

  Currently in technical editor review

• stage:director-review

  stage:director-review

  Currently in Director review

• stage:lead-civil-review

  stage:lead-civil-review

  Currently in RMC Lead Civil review

• stage:needs-lane

  stage:needs-lane

  Awaiting admin to assign a review lane

• stage:peer-review

  stage:peer-review

  Currently in peer review

• stage:ready-to-merge

  stage:ready-to-merge

  All reviews complete, ready for final merge

• wontfix

  wontfix

  This will not be worked on