Learn more about these different git repos.
Other Git URLs
3008973
Make the button to show/hide the URL to checkout locally a PR more visible Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>