Merge branch 'devel' into 'main'

merge to main

See merge request !3
1 job for main in 30 seconds (queued for 2 seconds)
Status Name Job ID Coverage
failed shellcheck #23


Name Stage Failure
shellcheck Test There has been a runner system failure, please try again
In ./mangle/validate_repos line 6:
source "$(dirname "$0")/../sync/common"
^-- SC1090: Can't follow non-constant source. Use a directive to specify location.

For more information: -- Can't follow non-constant source....
Cleaning up file based variables
Running cleanup_file_variables in runner helper
ERROR: Job failed (system failure): exit status 2