Skip to content

auto-triage: improve issue labeling - #15493

Merged
FredKSchott merged 5 commits into
mainfrom
fks/triage-5
Feb 12, 2026
Merged

auto-triage: improve issue labeling#15493
FredKSchott merged 5 commits into
mainfrom
fks/triage-5

Conversation

@FredKSchott

@FredKSchott FredKSchott commented Feb 12, 2026

Copy link
Copy Markdown
Member

Changes

  • Fix issue labeling (no longer messes with labels if reproduction failed)
  • Fix issue labeling (pkg/priority labels should now work)
  • Fix comment token to use houston instead of generic [github-actions] bot

Testing

  • CI

Docs

  • CI

@changeset-bot

changeset-bot Bot commented Feb 12, 2026

Copy link
Copy Markdown

⚠️ No Changeset found

Latest commit: d1ca683

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

@github-actions github-actions Bot added the 🚨 action Modifies GitHub Actions label Feb 12, 2026
labels: v.pipe(
v.array(v.string()),
v.description(
'One or more package label names (e.g. ["pkg: astro", "pkg: react"]). Empty array if unable to determine package.',

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

why get rid of this one?

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The distinction is already captured in the skill, so feels like unnecessary complexity to split and then merge back together. But if we see bad rule following, we can add it back.

@FredKSchott
FredKSchott merged commit 5296881 into main Feb 12, 2026
20 checks passed
@FredKSchott
FredKSchott deleted the fks/triage-5 branch February 12, 2026 23:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🚨 action Modifies GitHub Actions

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants