Martin Gruner 35175bed5f Maintenance: Allow CI jobs to be interrupted by new pushes to the same branch. 2 years ago
..
ci 35175bed5f Maintenance: Allow CI jobs to be interrupted by new pushes to the same branch. 2 years ago
merge_request_templates f5b385fcf9 Maintenance: Update git URL. 3 years ago
configure_environment.rb 24c3bdfd87 Maintenance: Update copyright header. 3 years ago
dependabot.yml 0b394f6baf Maintenance: Activate reviewers setting for dependabot as upstream bug was fixed. 3 years ago
environment_info.sh ab285e39e3 Maintenance: improved journalctl invocation. 2 years ago