Learn more about these different git repos.
Other Git URLs
25b77b9
When editing tags, redirect the user to the same section of the settings Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>