Usage: repo init -u https://github.com/msm7x30/mirror --mirror
To update the mirror, either edit the manifest manually or use the mirror-regen.sh
script.
WARNING: The script causes some data usage. Also, it is possible that it fails downloading a page of repositories. As a result, these repositories that were on that page will be missing in the mirror manifest. Please double check the resulting manifest before submitting it to Gerrit