Skip to content

Use main instead of master in GitHub Actions#188

Merged
ubergesundheit merged 1 commit intomainfrom rename-masterJun 6, 2024