Learn more about these different git repos.
Other Git URLs
30c2e5f
sorted set in Error msgs of tasks.find_arch