From 697a636e10af57231bcb624b17f715b31ddd3165 Mon Sep 17 00:00:00 2001
From: Nathan Broadbent <nathan.f77@gmail.com>
Date: Tue, 9 Jul 2013 19:49:35 +1200
Subject: [PATCH] repo_index should be case insensitive

---
 lib/git/repo_index.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/git/repo_index.sh b/lib/git/repo_index.sh
index 57fa627..1a7bb62 100644
--- a/lib/git/repo_index.sh
+++ b/lib/git/repo_index.sh
@@ -149,7 +149,7 @@ function _rebuild_git_index() {
   IFS=$'\n'
   for repo in $(echo -e "$(_find_git_repos)\n$(echo $GIT_REPOS | sed "s/:/\\\\n/g")"); do
     echo $(basename $repo | sed "s/ /_/g") $repo
-  done | sort | cut -d " " -f2- > "$GIT_REPO_DIR/.git_index"
+  done | sort | cut -d " " -f2- | tr '[A-Z]' '[a-z]' > "$GIT_REPO_DIR/.git_index"
   IFS=$' \t\n'
 
   if [ "$1" != "--silent" ]; then