From 201b531eb63b0810f36c125bc9a0ef965599d284 Mon Sep 17 00:00:00 2001
From: Rusty Russell <rusty@rustcorp.com.au>
Date: Tue, 30 Jul 2019 13:50:15 +0930
Subject: [PATCH] devtools: fix credit script.

Lisa's git name is lower-case, whereas CHANGELOG.md uses upper case,
so it doesn't realize she's named a commit already.

Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
---
 devtools/credit | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/devtools/credit b/devtools/credit
index c01a09671..4293de7f6 100755
--- a/devtools/credit
+++ b/devtools/credit
@@ -30,7 +30,7 @@ while read LINE; do
     if [ $(grep -ci -- "$NAME\|$EMAIL" /tmp/prev-authors.$$) = 0 ]; then
 	NOTES="$NOTES""NEW COMMITTER "
     fi
-    if ! grep -q -- "$NAME" /tmp/namers.$$; then
+    if ! grep -qi -- "$NAME" /tmp/namers.$$; then
 	if [ -z "$NAMER" ]; then
 	    NAMER="$NAME"
 	    NOTES="$NOTES""*NEXT NAMER* "