Learn more about these different git repos.
Other Git URLs
f81feea
Don't sync up ssh keys if there are already some Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>