Skip to content

maint: explicitly compare preset issue type names in labeler workflow #4662

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Mar 4, 2025
Merged

maint: explicitly compare preset issue type names in labeler workflow #4662

merged 1 commit into from
Mar 4, 2025

Conversation

zyv
Copy link
Member

@zyv zyv commented Mar 4, 2025

Proposed changes

Should hopefully fix mislabelling like in #4661.

Checklist

  • I have referenced the issue(s) resolved by this PR (if any)
  • I have signed-off my contribution with git commit --amend -s
  • Lint and unit tests pass locally with my changes (make indent && make check)
  • I have added tests that prove my fix is effective or that my feature works
  • I have added the necessary documentation (if appropriate)

@github-actions github-actions bot added needs triage Needs triage by maintainers prio: medium Has the potential to affect progress labels Mar 4, 2025
@github-actions github-actions bot added this to the Future Releases milestone Mar 4, 2025
@zyv zyv modified the milestones: Future Releases, 4.8.34 Mar 4, 2025
@zyv zyv added area: adm Administrative tasks and removed needs triage Needs triage by maintainers labels Mar 4, 2025
@zyv zyv merged commit 6849d39 into master Mar 4, 2025
17 checks passed
@zyv zyv deleted the fix-issue-type-labeler branch March 4, 2025 19:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
area: adm Administrative tasks prio: medium Has the potential to affect progress
Milestone
4.8.34
Development

Successfully merging this pull request may close these issues.
1 participant
@zyv