Skip to content

Label issues/prs case-insensitively - #6505

Merged
snejus merged 1 commit into
masterfrom
label-case-insensitively
Apr 5, 2026
Merged

snejus merged 1 commit into
masterfrom
label-case-insensitively

Conversation

@snejus

@snejus snejus commented Apr 5, 2026 •

Copy link
Copy Markdown
Member

Make PR label patterns case-insensitive

All label-matching patterns in .github/labeler.yaml are updated to use the /pattern/i regex syntax, enabling case-insensitive matching.

Before: 'fetchart'
After: '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/fetchart/i'

This ensures PRs are correctly labelled regardless of capitalisation in commit messages or PR titles (e.g., FetchArt, FETCHART, fetchart all match).

See github/issue-labeler#15

@snejus
snejus requested a review from a team as a code owner April 5, 2026 20:40
Copilot AI review requested due to automatic review settings April 5, 2026 20:40
@snejus
snejus force-pushed the label-case-insensitively branch from ea2a03d to 095ec96 Compare April 5, 2026 20:40
@snejus
snejus force-pushed the label-case-insensitively branch from 095ec96 to 9ff2d49 Compare April 5, 2026 20:43

Copilot AI left a comment

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.

Pull request overview

PR make label match for issues/PRs case-insensitive, by switching .github/labeler.yaml patterns to “versioned regex” form with /.../i flags so label match not depend on caps.

Changes:

  • Update every label pattern in .github/labeler.yaml to /.../i syntax for case-insensitive matching.
  • Wrap patterns in regex delimiters so action can apply flags (like i).

Comment thread .github/labeler.yaml Resolved
Comment thread .github/labeler.yaml Resolved
Comment thread .github/labeler.yaml Resolved
Comment thread .github/labeler.yaml Resolved
@snejus
snejus merged commit 506b45f into master Apr 5, 2026
3 checks passed
@snejus
snejus deleted the label-case-insensitively branch April 5, 2026 20:43
@JOJ0 JOJ0 added the core Pull requests that modify the beets core `beets` label Apr 6, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

core Pull requests that modify the beets core `beets`

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants