Learn more about these different git repos.
Other Git URLs
7636e1b
better reporting of server-sent errors