Learn more about these different git repos.
Other Git URLs
2edfc9a
Use standard rwxrxrx permissions for convert-to-edition Signed-off-by: Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>