Change default branch name

Change-Id: I4dd711e023812701f336aa6cebd8f1bc8742aa3e
diff --git a/default.xml b/default.xml
index f560379..38d7f3d 100644
--- a/default.xml
+++ b/default.xml
@@ -11,7 +11,7 @@
   <remote  name="private"
            fetch="ssh://git@github.com" />
 
-  <default revision="refs/heads/mr1-staging"
+  <default revision="refs/heads/cm-10.1"
            remote="github"
            sync-c="true"
            sync-j="4" />