Skip to content

Conversation

@Mic92
Copy link
Owner

@Mic92 Mic92 commented May 20, 2025

No description provided.

@Mic92 Mic92 added the merge-queue merge after ci succeeds label May 20, 2025
@Mic92 Mic92 enabled auto-merge (rebase) May 20, 2025 05:41
@Mic92 Mic92 merged commit 1bb8140 into master May 20, 2025
3 checks passed
@Mic92 Mic92 deleted the merge-when-green-joerg branch May 20, 2025 05:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge-queue merge after ci succeeds

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant