Learn more about these different git repos.
Other Git URLs
92cbf54
Warn if the user is about to just recompile Signed-off-by: Patrick Uiterwijk <patrick@puiterwijk.org>