Skip to content

Conversation

localheinz
Copy link
Member

This pull request

  • moves the configuration

@localheinz localheinz self-assigned this Jul 17, 2025
@localheinz localheinz requested a review from ergebnis-bot as a code owner July 17, 2025 06:05
@localheinz localheinz merged commit 9ece7b2 into main Jul 17, 2025
26 checks passed
@localheinz localheinz deleted the fix/move branch July 17, 2025 06:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants