Christoph Reiter cd2d28041c CI: revert the treeless clone for the build job ...

git gets confused when we add another remote there, so revert
for now

2024-05-30 18:24:54 +02:00

..

ISSUE_TEMPLATE

environment_request: some wording changes/fixes

2023-12-11 16:41:46 +01:00

workflows

CI: revert the treeless clone for the build job

2024-05-30 18:24:54 +02:00