Skip to content

chore: migrate open PRs to new label taxonomy #693

Closed

Description

@andreahlert

Part of #690

Go through all open PRs and apply the new label taxonomy.

For each PR

  1. Add kind/* and area/*
  2. Add pr/stale to PRs with no activity for 14+ days after review
  3. Add pr/do-not-merge to PRs that need significant rework
  4. Convert truly inactive PRs (6+ months) to draft with a comment
  5. Remove old labels

Current PR backlog

Activity

  1. self-assigned this
    on Mar 25, 2026
  2. andreahlert commented on Mar 28, 2026

    @andreahlert
    CollaboratorAuthor

    Labels migrated to new taxonomy (#692).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions