Google\'s repo tool is used to clone all the android repositories to the right places. It reads the repositories from a .xml file like this one: https://github.com/GrapheneOS/pl