Labels

• 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

• future/after-milestone/issue-migration

  future/after-milestone/issue-migration

  Do not act until issue-migration milestone completes — see project board for status.

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• ignore-during-work

  ignore-during-work

  This shouldn't be looked at during work hours; filter views when viewing from a work account

• invalid

  invalid

  This doesn't seem right

• is-this-needed?

  is-this-needed?

  unclear if this PR is needed. Come back to it later

• milestone/issue-migration

  milestone/issue-migration

  Migrating issues from Discord threads to GitHub. Henry is PM; all agents tag related work.

• needs-human-attention

  needs-human-attention

  Requires repo owner decision, credentials, or approval

• needs-work

  needs-work

  Changes needed before merge or close

• p1

  p1

  Need to do next

• p2

  p2

  Next week

• p3

  p3

  After 2 weeks

• p4

  p4

  Eventually

• question

  question

  Further information is requested

• ready

  ready

  QA approved — ready to merge

• review/agent-henry

  review/agent-henry

  assign review to Henry (the AI agent)

• wontfix

  wontfix

  This will not be worked on

• work-related

  work-related

  Related to job, even if in personal repo