Learn more about these different git repos.
Other Git URLs
19ab900
Apparently in a CentOS7 container, it wants a fresh session more often Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>