From 5553c0be7cad028f10acd543c707425664c659cf Mon Sep 17 00:00:00 2001
From: Holger Weiss <holger@zedat.fu-berlin.de>
Date: Mon, 28 Nov 2016 21:44:39 +0100
Subject: tools/update-thanks: Match case-insensitively

When checking whether an author name already exists in the AUTHORS or
THANKS.in file, perform a case-insensitive match.

diff --git a/tools/update-thanks b/tools/update-thanks
index 27932f9..b0321e3 100755
--- a/tools/update-thanks
+++ b/tools/update-thanks
@@ -34,7 +34,7 @@ git log --pretty='%an' "$since.." | sort -u | while read first last rest
 do
 	if [ -n "$first" -a -n "$last" -a -z "$rest" ]
 	then
-		if ! grep -q "^$first $last$" AUTHORS THANKS.in
+		if ! grep -q -i "^$first $last$" AUTHORS THANKS.in
 		then
 			echo "$first $last" >> THANKS.in
 		fi
-- 
cgit v0.10-9-g596f