Learn more about these different git repos.
Other Git URLs
3bda5f3
Give repoSpanner up to 5 seconds to become available Signed-off-by: Patrick Uiterwijk <patrick@puiterwijk.org>