Learn more about these different git repos.
Other Git URLs
d1f0ed4
set optional-arches to list fixes #697