Skip to content

fix: remove type:/platform: prefixes from PR classification labels#8

Open
yanas wants to merge 1 commit into
masterfrom
fix/pr-classify-label-names
Open

fix: remove type:/platform: prefixes from PR classification labels#8
yanas wants to merge 1 commit into
masterfrom
fix/pr-classify-label-names

Conversation

@yanas

@yanas yanas commented Mar 12, 2026

Copy link
Copy Markdown
Owner

Summary

  • Labels are now applied as plain names (documentation, web, etc.) instead of type: documentation, platform: web
  • Updated the stale label removal logic to match the new naming
  • Updated the warning comment text accordingly

Test plan

  • Merge and verify the next PR gets a plain documentation label applied

🤖 Generated with Claude Code

Labels are now applied as plain names (e.g. "documentation", "web")
to match the repo's label definitions.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@github-actions

github-actions Bot commented Mar 12, 2026

Copy link
Copy Markdown

Claude finished @yanas's task —— View job


{
  "type": "fix",
  "platforms": [],
  "summary": "Updates PR classification workflow to apply labels as plain names instead of prefixed format (e.g., 'documentation' instead of 'type: documentation'). Updates label removal and comment logic to match the new naming convention."
}

@github-actions

Copy link
Copy Markdown

Warning

PR classification could not determine the PR type. Please apply a type label manually.

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