Merge Makefile into production for CI/CD stuff #58

Merged
heinzel merged 2 commits from master into production 2023-02-17 14:09:15 +01:00