From 1de7b7415a4e2719c0e4d1132cc0d1f3f11a9877 Mon Sep 17 00:00:00 2001
From: ethanpil <ethan@piliavin.com>
Date: Thu, 10 Jan 2013 19:10:30 -0800
Subject: [PATCH] Make plugin work again:repo name must be lowercase

---
 github-code-search.user.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/github-code-search.user.js b/github-code-search.user.js
index 94cfd1b..26d8b9d 100644
--- a/github-code-search.user.js
+++ b/github-code-search.user.js
@@ -39,7 +39,7 @@ var main = function () {
 			type: 'GET',
 			data: {
 				type: 'Code',
-				repo: SKRATCHDOT.nameWithOwner,
+				repo: SKRATCHDOT.nameWithOwner.toLowerCase(),
 				q: searchText,
 				start_value: startValue
 			},
@@ -141,4 +141,4 @@ var main = function () {
 // Inject our main script
 var script = document.createElement('script');
 script.textContent = '(' + main.toString() + ')();';
-document.body.appendChild(script);
\ No newline at end of file
+document.body.appendChild(script);