Learn more about these different git repos.
Other Git URLs
4eda0aa
Replace instances of hosted0{1,2} with hosted0{3,4}