Learn more about these different git repos.
Other Git URLs
d61885f
Drop the run_ci_tests shell script that is no longer used Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>