From b0f02453b3f95de8e7d04c49944af7588347b391 Mon Sep 17 00:00:00 2001
From: slickrick <rsalinas1@mail.usf.edu>
Date: Sun, 13 Oct 2013 14:46:41 -0700
Subject: [PATCH] manifest: add a general github remote

Just makes it a bit easier to track personal repos and those from themuppets, etc
in local_manifests.

Change-Id: I05105b94288e922470c3c57d442867600ba10fe3
---
 default.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/default.xml b/default.xml
index 166ebc3..bbe7377 100644
--- a/default.xml
+++ b/default.xml
@@ -4,6 +4,9 @@
   <remote  name="xda"
            fetch=".." />
 
+  <remote  name="github"
+           fetch="https://github.com/" />
+
   <remote  name="aosp"
            fetch="https://android.googlesource.com"
            review="android-review.googlesource.com" />