minor fixup; spurious error killed

This commit is contained in:
Sitaram Chamarty 2010-03-17 20:42:19 +05:30
parent e91e8c80d9
commit bfc9c7aeb5

View file

@ -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";
}