add second github remote and only pull prebuilt via https
further workaround for github derp
Change-Id: I6c51e725d2265a2574190940eaa4888c3788b41b
diff --git a/default.xml b/default.xml
index 63c2082..bf54249 100644
--- a/default.xml
+++ b/default.xml
@@ -5,7 +5,11 @@
fetch="https://android.googlesource.com/" />
<remote name="github"
- fetch="https://github.com/"
+ fetch="git://github.com/"
+ review="review.cyanogenmod.com" />
+
+ <remote name="github-https"
+ fetch="https://github.com/"
review="review.cyanogenmod.com" />
<default revision="refs/heads/ics"
@@ -246,7 +250,7 @@
<project path="packages/wallpapers/MusicVisualization" name="CyanogenMod/android_packages_wallpapers_MusicVisualization" />
<project path="packages/wallpapers/NoiseField" name="platform/packages/wallpapers/NoiseField" remote="aosp" revision="refs/tags/android-4.0.3_r1" />
<project path="packages/wallpapers/PhaseBeam" name="platform/packages/wallpapers/PhaseBeam" remote="aosp" revision="refs/tags/android-4.0.3_r1" />
- <project path="prebuilt" name="CyanogenMod/android_prebuilt" />
+ <project path="prebuilt" name="CyanogenMod/android_prebuilt" remote="github-https" />
<project path="vendor/cm" name="CyanogenMod/android_vendor_cm" />
<project path="sdk" name="CyanogenMod/android_sdk" />
<project path="system/bluetooth" name="CyanogenMod/android_system_bluetooth" />