default.xml

<?xml version="1.0" encoding="UTF-8"?>
<manifest>

  <remote name="github"
           fetch=".." />

  <default revision="refs/heads/marshmallow"
           remote="github"
           sync-c="true"
           sync-j="4" />

  <project path="build" name="MiCode/patchrom_build">
    <copyfile src="makefile" dest="Makefile" />
  </project>
  <project path="manifest" name="MiCode/patchrom" />
  <project path="android" name="MiCode/patchrom_android" />
  <project path="miui" name="MiCode/patchrom_miui" />
  <project path="tools" name="MiCode/patchrom_tools" />
  <project path="angler" name="MiCode/patchrom_angler" />
</manifest>