Skip to content

ci: label issues by area too (symmetric with PR labels) - #68

Merged
loss-and-quick merged 1 commit into
mainfrom
chore/issue-area-label
Jun 21, 2026
Merged

ci: label issues by area too (symmetric with PR labels)#68
loss-and-quick merged 1 commit into
mainfrom
chore/issue-area-label

Conversation

@loss-and-quick

Copy link
Copy Markdown
Owner

Summary

Follow-up to the PR auto-labeller (#67): give issues the same component labels PRs get. The bug form only set platform:*; now it also sets a component label.

  • Bug form: add an Area dropdown (Web UI / Proxy core / Build·CI / Documentation / Other) and a "Not platform-specific (build / CI / UI)" Platform option so a build/CI/UI bug isn't forced to pick a false OS.
  • Generalise the issue labeler (renamed label-platform.ymllabel-issue.yml): map Platform → platform:* and Area → frontend / backend / ci / documentation, one label per group kept in sync on open/edit. Same label taxonomy as .github/labeler.yml uses for PRs.

Affected layer

  • frontend/
  • module/
  • scripts/
  • CI / .github/
  • Docs only

Verification

  • actionlint .github/workflows/label-issue.yml clean
  • Area option texts map cleanly to needles (frontend/backend/build→ci/documentation); "Other" → no label
  • "Not platform-specific" matches no platform needle → no false platform:*
  • Bug form structure mirrors the existing dropdowns (renders as ### Area / ### Platform for the parser)

Notes for reviewers

Both groups are single-select and authoritative from the form (the bot keeps exactly the chosen label per group, removing stale ones on edit). The frontend/backend/ci labels were created on the repo in #67.

PRs get frontend/backend/ci by path; issues only got platform:*. Add an "Area"
dropdown to the bug form and generalise the labeler (renamed label-platform →
label-issue) to map both Platform → platform:* and Area → frontend/backend/ci/
documentation. Also add a "Not platform-specific" Platform option so a build/CI/UI
bug no longer has to pick a false OS.
@github-actions github-actions Bot added the ci CI / workflows (.github/) label Jun 21, 2026
@loss-and-quick
loss-and-quick merged commit b453f10 into main Jun 21, 2026
8 checks passed
@loss-and-quick
loss-and-quick deleted the chore/issue-area-label branch June 21, 2026 17:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci CI / workflows (.github/)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant