Learn more about these different git repos.
Other Git URLs
76a0be3
Fix a couple of redirects so the user comes back to the right tab Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>