Learn more about these different git repos.
Other Git URLs
34fdd92
simplify strict logic in `get_archive_file`