From a0015aefe26256cd1fb6f2e03d81fead2fbd6617 Mon Sep 17 00:00:00 2001
From: Neil Perry <nperry@gmail.com>
Date: Mon, 2 Jan 2012 19:34:21 +0000
Subject: [PATCH] add second github remote and only pull prebuilt via https
 further workaround for github derp

Change-Id: I6c51e725d2265a2574190940eaa4888c3788b41b
---
 default.xml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/default.xml b/default.xml
index 63c2082b..bf542495 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" />