manifest repository to hold (google git-repo) default.xml (and other manifest xml files)