Use GitHub Actions to update repo on schedule

meta.awk

@@ -0,0 +1,8 @@
+match($0, "^^#! (date|time|entries)=(.+)$", m) {
+    a[m[1]] = m[2]
+}
+
+/^[^#]/ {
+    print a["date"]","a["time"]","a["entries"]
+    exit
+}