Skip to content

Fix mergify settings#33

Merged
christophfroehlich merged 1 commit into
mainfrom
fix-mergify
Jul 14, 2026
Merged

Fix mergify settings#33
christophfroehlich merged 1 commit into
mainfrom
fix-mergify

Commits

Commits on Jul 14, 2026