Learn more about these different git repos.
Other Git URLs
233af49
Fix calling the run_ci_tests.sh Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>