Skip to content

CI: Switch Github action to label PRs with merge conflict#710

Merged
andygrunwald merged 1 commit intomainfrom
fix-ci-label-merge-request
Mar 22, 2025
Merged

CI: Switch Github action to label PRs with merge conflict#710
andygrunwald merged 1 commit intomainfrom
fix-ci-label-merge-request

Conversation

@andygrunwald
Copy link
Copy Markdown
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
Copy Markdown
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.

1 participant