Learn more about these different git repos.
Other Git URLs
651f5e0
short option -a/--arch for dist-repo command