Learn more about these different git repos.
Other Git URLs
ac10ea3
Allow admins to select to ignore existing repositories Signed-off-by: Patrick Uiterwijk <patrick@puiterwijk.org>