Learn more about these different git repos.
Other Git URLs
c86b5c3
first stab at renaming signed repos to dist repos sed -i -e 's/signed\(.\?[Rr]epo\)/dist\1/g' sed -i -e 's/Signed\(.\?[Rr]epo\)/Dist\1/g'