From c88a93d18f466c86f81b3c8040e774adb84c9b23 Mon Sep 17 00:00:00 2001
From: Wolfgang Wiedmeyer <wolfgit@wiedmeyer.de>
Date: Sun, 7 Feb 2016 21:48:24 +0100
Subject: [PATCH] use a mirror for CyanogenMod's repos

Signed-off-by: Wolfgang Wiedmeyer <wolfgit@wiedmeyer.de>
---
 default.xml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/default.xml b/default.xml
index 2c21a41..2b17ace 100644
--- a/default.xml
+++ b/default.xml
@@ -6,8 +6,8 @@
            review="android-review.googlesource.com"
            revision="refs/tags/android-6.0.1_r10" />
 
-  <remote  name="github"
-           fetch="https://github.com/"
+  <remote  name="cm-mirror"
+           fetch="https://code.fossencdi.org/cm-mirror/"
            review="review.cyanogenmod.org" />
 
   <remote name="fossencdi"
@@ -20,7 +20,7 @@
            fetch="ssh://git@github.com" />
 
   <default revision="refs/heads/cm-13.0"
-           remote="github"
+           remote="cm-mirror"
            sync-c="true"
            sync-j="4" />