add checks for User and Date lines

scripts/check_series.sh

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