Skip to content

Conversation

@Mic92
Copy link
Owner

@Mic92 Mic92 commented Jun 13, 2025

No description provided.

@Mic92 Mic92 added the merge-queue merge after ci succeeds label Jun 13, 2025
@Mic92 Mic92 enabled auto-merge (rebase) June 13, 2025 10:12
@Mic92 Mic92 merged commit da37b7f into master Jun 13, 2025
3 checks passed
@Mic92 Mic92 deleted the merge-when-green-joerg branch June 13, 2025 10:17
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