From c15c75749bb0b2b4ae8752dd7cc4559aa687b2af Mon Sep 17 00:00:00 2001
From: Sitaram Chamarty <sitaram@sita-wd.atc.tcs.com>
Date: Sat, 3 Oct 2009 10:55:30 +0530
Subject: [PATCH] compile: special-case 'gitweb' and 'daemon' from the linting

not a big deal since there's a very simple and obvious workaround -- create a
new keypair, throw away the private key, and use the pubkey
---
 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 ae1ea24..9b13dd7 100755
--- a/src/gl-compile-conf
+++ b/src/gl-compile-conf
@@ -339,7 +339,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 eq '@all' or $user_list{$user} eq 'has pubkey';
+    next if $user =~ /^(gitweb|daemon|\@all)$/ or $user_list{$user} eq 'has pubkey';
     print STDERR "$ATTN user $user in config, but has no pubkey!\n";
 }