Skip to content

ci(workflows): switch to shared force merge workflow#10

Merged
MMaiero merged 1 commit intodevelopfrom
ci/shared_force_merge
Aug 25, 2025
Merged

ci(workflows): switch to shared force merge workflow#10
MMaiero merged 1 commit intodevelopfrom
ci/shared_force_merge

Conversation

@mattdibi
Copy link
Copy Markdown
Member

@mattdibi mattdibi commented Aug 25, 2025

Switch to shared Github action introduced in eclipse-kura/.github#9 for force-merge workflow.

Note: requires eclipse-kura/.github#9 to be merged to work.

@mattdibi mattdibi changed the title ci(workflows): introduce shared force merge workflow ci(workflows): switch to shared force merge workflow Aug 25, 2025
@sonarqubecloud
Copy link
Copy Markdown

@mattdibi mattdibi requested a review from MMaiero August 25, 2025 07:52
@mattdibi mattdibi marked this pull request as ready for review August 25, 2025 07:52
@MMaiero MMaiero merged commit fa00f61 into develop Aug 25, 2025
6 checks passed
@MMaiero MMaiero deleted the ci/shared_force_merge branch August 25, 2025 09:07
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