From bfc9c7aeb59b3d2ff9d34f170763d08c96fa8598 Mon Sep 17 00:00:00 2001
From: Sitaram Chamarty <sitaram@atc.tcs.com>
Date: Wed, 17 Mar 2010 20:42:19 +0530
Subject: [PATCH] minor fixup; spurious error killed

---
 src/gl-compile-conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/gl-compile-conf b/src/gl-compile-conf
index b308529..4409e44 100755
--- a/src/gl-compile-conf
+++ b/src/gl-compile-conf
@@ -538,7 +538,7 @@ for my $pubkey (glob("*"))
 # lint check 3; a little more severe than the first two I guess...
 for my $user (sort keys %user_list)
 {
-    next if $user =~ /^(gitweb|daemon|\@all|\$creater|\$readers|\$writers)$/ or $user_list{$user} eq 'has pubkey';
+    next if $user =~ /^(gitweb|daemon|\@all|~\$creater|\$readers|\$writers)$/ or $user_list{$user} eq 'has pubkey';
     print STDERR "$WARN user $user in config, but has no pubkey!\n";
 }