From b2977d68066e29f0096bdd47bd526f754ad397cd Mon Sep 17 00:00:00 2001
From: Brenda Wallace <brenda@wallace.net.nz>
Date: Sun, 13 Nov 2016 11:01:31 +1300
Subject: [PATCH] Search contributors file, case insensitive.

---
 script/check_contributors_md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script/check_contributors_md b/script/check_contributors_md
index 131daf445..fdd484897 100755
--- a/script/check_contributors_md
+++ b/script/check_contributors_md
@@ -28,7 +28,7 @@ Please set it using
   end
 end
 
-if !system("grep #{author} CONTRIBUTORS.md") then
+if !system("grep -i #{author} CONTRIBUTORS.md") then
   abort %{
 Thanks for your contribution, #{author}!
 Please add your name and GitHub handle to the file CONTRIBUTORS.md,