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