Skip to content

Conversation

@andygrunwald
Copy link
Owner

What type of PR is this?

  • cleanup

What this PR does / why we need it:

CI: Switch Github action to label PRs with merge conflict

Which issue(s) this PR fixes:

None

Special notes for your reviewer:

None

Additional documentation e.g., usage docs, etc.:

None

@andygrunwald
Copy link
Owner Author

@andygrunwald andygrunwald merged commit b85aa3e into main Mar 22, 2025
26 checks passed
@andygrunwald andygrunwald deleted the fix-ci-label-merge-request branch March 22, 2025 13:34
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.

2 participants