Learn more about these different git repos.
Other Git URLs
6876a8d
If a repo existed, clean up the project instance Signed-off-by: Patrick Uiterwijk <patrick@puiterwijk.org>