From 27fe6efe85ef11a3a765640065aa08156f130874 Mon Sep 17 00:00:00 2001
From: Philip Kelley <phkelley@hotmail.com>
Date: Fri, 4 Jan 2013 13:48:08 -0500
Subject: [PATCH] Fix git_index sorting with core.ignorecase in git_index_read

---
 src/index.c | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/index.c b/src/index.c
index d4568aaef..c04796875 100644
--- a/src/index.c
+++ b/src/index.c
@@ -1359,9 +1359,10 @@ static int parse_index(git_index *index, const char *buffer, size_t buffer_size)
 
 #undef seek_forward
 
-	/* force sorting in the vector: the entries are
-	 * assured to be sorted on the index */
-	index->entries.sorted = 1;
+	/* Entries are stored case-sensitively on disk. */
+	index->entries.sorted = !index->ignore_case;
+	git_vector_sort(&index->entries);
+
 	return 0;
 }