add an explicit github ssh remote

Change-Id: I365727c9e32930d759e32c11456bc759630058ff

parent 8954b96b

default.xml

+3 −0

Original line number	Diff line number	Diff line
		@@ -8,6 +8,9 @@
		fetch=".."
		review="review.cyanogenmod.com" />

		<remote name="private"
		fetch="git@github.com:" />

		<default revision="refs/heads/ics"
		remote="github"
		sync-j="4" />