Learn more about these different git repos.
Other Git URLs
2992819
Check the project is correctly set-up before calling its CI Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>