Skip to content

chore: automate pull request labels#536

Merged
nahime0 merged 1 commit into
mainfrom
chore/pr-label-automation
Jul 13, 2026
Merged

chore: automate pull request labels#536
nahime0 merged 1 commit into
mainfrom
chore/pr-label-automation

Conversation

@nahime0

@nahime0 nahime0 commented Jul 13, 2026

Copy link
Copy Markdown
Member

Summary

Add automated pull request classification and labeling for elephc.

The automation:

  • infers type:* from the PR title, falling back to the branch prefix;
  • selects up to three primary area:* labels from changed files;
  • detects target-specific changes through target:*;
  • assigns size:* and scope:multi-area when appropriate;
  • preserves manually assigned topic:* and priority labels;
  • creates missing labels from the declarative catalog automatically.

A manual workflow dispatch supports individual PR numbers or all-open, with dry_run: true by default for safely previewing a
backfill.

Safety

The workflow uses pull_request_target, but:

  • checks out only the trusted base commit;
  • never checks out or executes code from the PR head;
  • disables persisted checkout credentials;
  • uses explicit, limited GitHub token permissions.

@nahime0 nahime0 merged commit ef7e227 into main Jul 13, 2026
60 checks passed
@nahime0 nahime0 deleted the chore/pr-label-automation branch July 13, 2026 11:04
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