Martin Gruner 9ff3d80f49 Maintenance: Reconfigure push to github to not use a shell runner, but docker. 2 years ago
..
ci 9ff3d80f49 Maintenance: Reconfigure push to github to not use a shell runner, but docker. 2 years ago
merge_request_templates f5b385fcf9 Maintenance: Update git URL. 2 years ago
configure_environment.rb 24c3bdfd87 Maintenance: Update copyright header. 2 years ago
dependabot.yml 0b394f6baf Maintenance: Activate reviewers setting for dependabot as upstream bug was fixed. 3 years ago