Learn more about these different git repos.
Other Git URLs
416cb4e
Do not specify a stop ref if none were found Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>