Learn more about these different git repos.
Other Git URLs
22c112c
avoid multiple server_setup calls when multiple threads in use