Remove GitHub config #37

Merged
jonny merged 1 commit from remove_github_actions into develop 2025-04-07 20:48:41 +02:00