Change default branch name

Change-Id: I4dd711e023812701f336aa6cebd8f1bc8742aa3e

parent 2185b92d

default.xml

+1 −1

Original line number	Diff line number	Diff line
		@@ -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" />