Learn more about these different git repos.
Other Git URLs
Without doing this we get mysterious failures.
Done.
Login to comment on this ticket.