Learn more about these different git repos.
Other Git URLs
5fec8cb
Don't change the read-only flag of a project if there is no need for it Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>