Labels

• area:ci

  CI/CD, GitHub Actions, workflows
• area:docs

  Documentation, README, guides
• area:image

  Container image, Dockerfile, build
• area:testing

  Test infrastructure, BATS, pytest
• area:workflow

  Developer workflow, commands, rules, skills
• area:workspace

  Workspace tooling, justfile, templates
• bug

  Something isn't working
• chore

  General tasks (e.g. update dependencies, contact a manufacturer, read a paper)
• dependencies

  Pull requests that update a dependency file
• discussion

  Discuss new ideas
• docs

  Improvements or additions to documentation
• effort:large

  More than 4 hours or multi-session
• effort:medium

  1-4 hours
• effort:small

  Less than 1 hour
• feature

  New feature or request
• github_actions

  Pull requests that update GitHub Actions code
• merge-conflict
• phase:design

  Agent completed the design phase
• phase:execute

  Agent completed the execution phase
• phase:merged

  Pull request merged
• phase:plan

  Agent completed the planning phase
• phase:pr

  Agent created the pull request
• phase:stuck

  Agent is stuck and needs human input
• phase:verify

  Agent completed local verification
• priority:backlog

  Someday/maybe, no timeline
• priority:blocking

  Blocks other work or a release
• priority:high

  Should be done in the current milestone
• priority:low

  Nice to have, do when capacity allows
• priority:medium

  Important but not urgent
• python

  Pull requests that update python code