Learn more about these different git repos.
Other Git URLs
27d0e3f
Merge changes in the host as well Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>