From 7de4e10f5ccab7b615baf0ca0c8ca9b1d60ce05a Mon Sep 17 00:00:00 2001
From: XpLoDWilD <xplod@ouverta.fr>
Date: Wed, 21 Aug 2013 16:07:59 +0200
Subject: [PATCH] default: Add github remote

---
 default.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/default.xml b/default.xml
index 616f5ea..63de0d6 100644
--- a/default.xml
+++ b/default.xml
@@ -11,6 +11,9 @@
   <remote  name="private"
            fetch="ssh://git@build2.dev.xda-developers.com" />
 
+  <remote  name="github"
+           fetch="https://github.com" />
+
   <default revision="refs/tags/android-4.3_r2.1"
            remote="aosp"
            sync-j="4" />