Learn more about these different git repos.
Other Git URLs
14ffefd
Fix --nodeps by setting Pungi.is_resolve_deps according to config.