You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
chore: create new label taxonomy and remove old labels #691
Activity
andreahlert commentedon Mar 28, 2026
@skrawcz here's the script to create the labels. Needs write access to run (
ghCLI authenticated).After this I can handle the migration to the new labels myself with triage access (#692, #693).
skrawcz commentedon Mar 28, 2026
done.
andreahlert commentedon Mar 28, 2026
Labels migrated to new taxonomy (#692).
andreahlert commentedon Mar 30, 2026
@skrawcz here's the script to delete the legacy labels. Same deal, needs write access.
All issues and PRs have already been migrated to the new taxonomy (#692, #693), so these labels are now unused.
andreahlert commentedon Mar 30, 2026
All new labels created, legacy labels deleted by @skrawcz. Done.