Learn more about these different git repos.
Other Git URLs
08244c9
Ensure the curl command gets executed but don't wait on it Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>