Skip to content

Conversation

@Mic92
Copy link
Owner

@Mic92 Mic92 commented May 19, 2025

No description provided.

@Mic92 Mic92 added the merge-queue merge after ci succeeds label May 19, 2025
@Mic92 Mic92 enabled auto-merge (rebase) May 19, 2025 06:37
@Mic92 Mic92 merged commit 39ec94e into master May 19, 2025
3 checks passed
@Mic92 Mic92 deleted the merge-when-green-joerg branch May 19, 2025 06:42
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