@@ -36,7 +36,7 @@ do
echo bad hg header in $i
continue
fi
- if ! head -2 $i | grep '^# User ' >/dev/null
+ if ! head -2 $i | grep ^# User .*[@<]' >/dev/null
then
ERRORS=`expr $ERRORS + 1`