Learn more about these different git repos.
Other Git URLs
a506512
Implement HTTP pull/push Merges #3784 Signed-off-by: Patrick Uiterwijk <patrick@puiterwijk.org>