What does repo init and repo sync actually do?
repo is a python wrapper script for git, its Google Source page defines it as repo – The Multiple Git Repository Tool repo init command initializes repo in the current directory. That’s, it downloads the latest repo source and a manifest.xml file that describes the directory structure of the git repositories, and store all of … Read more