Learn more about these different git repos.
Other Git URLs
0973ae9
Do not send a notification upon merge conflicts Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>