Labels

• accepted-correction

  accepted-correction

  Accepted correction pending or completed

• accessibility

  accessibility

  Accessibility or assistive-technology concern

• broken-link

  broken-link

  Broken URL, redirect, asset, or navigation target

• bug

  bug

  Something isn't working

• critique

  critique

  Substantive challenge, objection, or stress test

• dependencies

  dependencies

  Pull requests that update a dependency file

• documentation

  documentation

  Documentation or public guidance improvement

• duplicate

  duplicate

  Duplicate of an existing issue or discussion

• enhancement

  enhancement

  New feature or request

• errata-candidate

  errata-candidate

  Possible correction to a public artifact

• formalization

  formalization

  Lean or formalization-related concern

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• good first issue

  good first issue

  Good for newcomers

• good-first-inspection

  good-first-inspection

  Bounded first inspection task

• help wanted

  help wanted

  Extra attention is needed

• invalid

  invalid

  This doesn't seem right

• metadata

  metadata

  Metadata, taxonomy, or classification issue

• needs-domain-review

  needs-domain-review

  Needs review by a domain expert

• needs-editorial-review

  needs-editorial-review

  Needs editorial review

• needs-formal-review

  needs-formal-review

  Needs formal methods or Lean review

• question

  question

  General question or request for clarification

• result-status

  result-status

  Concern about result status, verification, or external acceptance

• source-mapping

  source-mapping

  Issue with source, import, citation, or cross-reference mapping

• wontfix

  wontfix

  This will not be worked on

• wontfix-explained

  wontfix-explained

  Closed with explanation and no planned change