From b821209f83ab8c78d1af9c1fc64ba5c9d9fdbd32 Mon Sep 17 00:00:00 2001
From: Damien Elmes <gpg@ankiweb.net>
Date: Fri, 24 Jan 2020 17:27:43 +1000
Subject: [PATCH] case insensitive contributor compare

https://github.com/ankitects/anki/pull/428
---
 .github/scripts/contrib.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/scripts/contrib.sh b/.github/scripts/contrib.sh
index 7ba00acba..438aa7ebf 100755
--- a/.github/scripts/contrib.sh
+++ b/.github/scripts/contrib.sh
@@ -9,7 +9,7 @@ git log --pretty=format:' - %ae' CONTRIBUTORS |sort |uniq |sort -f | sed "s/@/$a
 
 headAuthor=$(git log -1 --pretty=format:'%ae')
 authorAt=$(echo "$headAuthor" | sed "s/@/$antispam/")
-if git log --pretty=format:'%ae' CONTRIBUTORS | grep -q "$headAuthor"; then
+if git log --pretty=format:'%ae' CONTRIBUTORS | grep -qi "$headAuthor"; then
     echo "Author $authorAt found in CONTRIBUTORS"
 else
     echo "Author $authorAt NOT found in list"