The initial manifest file to use while initializing the repo. This is passed to repo as repo init -m manifestFile. If a manifest file is not specified, repo uses the default of "default.xml".