This repository has been archived on 2024-09-05. You can view files and clone it, but cannot push or open issues or pull requests.
server/.github
2024-06-06 06:30:13 +02:00
..
workflows fix: now prs don't deploy to the dev server 2024-06-06 06:30:13 +02:00