Learn more about these different git repos.
Other Git URLs
30bb17c
Re-arrange verify-files and slight fixups