Skip to content

Move the issue forms and design 0015 onto the org label standard - #284

Merged
crenshawdev merged 1 commit into
mainfrom
org-labels
Oct 19, 2026
Merged

crenshawdev merged 1 commit into
mainfrom
org-labels

Conversation

@crenshawdev

Copy link
Copy Markdown
Member

This moves Baley onto the issue types and labels jcrenshaw-dev now uses in every repository, defined in the org label standard. The labels themselves were already changed through the API. The 18 issues labeled bug are type Bug, the 54 labeled enhancement are type Enhancement, and the 15 labeled design are type Task and keep the label. bug, enhancement and question were deleted once no issue depended on them, and the 39 open issues with no type have needs-triage.

This pull request brings the repository in line with that. The bug form now sets the Bug type and needs-triage in place of the deleted bug label, and the question form sets needs-triage in place of question. GitHub silently skips a form label that doesn't exist, so without this change new reports would arrive with neither. The Impact dropdown and every field are unchanged. In design 0015, UPK-R8, UPK-R9, the Labels section and their status rows now describe the org standard and the state read on 2026-10-18, in place of the label set from 2026-10-06.

Both forms parse, and GitHub's preview of each on this branch shows the type and label with no template error. The counts in 0015 come from a GraphQL read of every issue on 2026-10-18. No code changes here, so the workspace suite was not run locally.

… standard

jcrenshaw-dev now has one set of issue types and labels for every
repository. The bug and enhancement labels became issue types and were
deleted, so the forms set the type and needs-triage instead of labels
that no longer exist.
@github-actions

Copy link
Copy Markdown

No findings.

The full review is encrypted in this run's security-review artifact. Read it with .sentinel/ci/read-review.sh <pull request number>.

@crenshawdev
crenshawdev merged commit b60b44f into main Oct 19, 2026
7 checks passed
@crenshawdev
crenshawdev deleted the org-labels branch October 19, 2026 00:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant