Learn more about these different git repos.
Other Git URLs
e232a3e
Be consistent about the name of the pull-request object and topics Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>