Martin Gruner 9ff3d80f49 Maintenance: Reconfigure push to github to not use a shell runner, but docker. ... (cherry picked from commit 60521b3818b1e01c7089a3a2ce4179620d4af42c)		2022-06-08 08:42:12 +02:00
..
ci	Maintenance: Reconfigure push to github to not use a shell runner, but docker.	2022-06-08 08:42:12 +02:00
merge_request_templates	Maintenance: Update git URL.	2021-12-23 11:28:27 +01:00
configure_environment.rb	Maintenance: Update copyright header.	2022-01-01 14:38:12 +01:00
dependabot.yml	Maintenance: Activate reviewers setting for dependabot as upstream bug was fixed.	2021-08-16 13:21:15 +02:00