Learn more about these different git repos.
Other Git URLs
e84af3d
Set git user.name and user.email Signed-off-by: Patrick Uiterwijk <patrick@puiterwijk.org>