Skip to content

🔧 Remove baumpfleger#112

Merged
ubmarco merged 1 commit intomasterfrom
mh-rm-baumpfleger
Apr 2, 2025
Merged

🔧 Remove baumpfleger#112
ubmarco merged 1 commit intomasterfrom
mh-rm-baumpfleger

Conversation

@ubmarco
Copy link
Member

@ubmarco ubmarco commented Apr 1, 2025

This is configurable in Github settings now.

@ubmarco ubmarco requested a review from danwos April 1, 2025 20:03
@ubmarco ubmarco force-pushed the mh-rm-baumpfleger branch from 9f89c6e to 078974c Compare April 2, 2025 07:14
@ubmarco ubmarco merged commit 2c42c14 into master Apr 2, 2025
12 checks passed
@ubmarco ubmarco deleted the mh-rm-baumpfleger branch April 2, 2025 07:17
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