Learn more about these different git repos.
Other Git URLs
7078738
Sign-off the merge commits when the project enforces it Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>