feat: sleep 15 minutes between pushes

Signed-off-by: Andrew Berezovskyi <andriib@kth.se>
berezovskyi · Jul 17, 2023 · 58e9058 · 58e9058
1 parent 87f0680
commit 58e9058
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/publisher.zig b/publisher.zig
@@ -324,6 +324,8 @@ fn commitAndPushRepoChange(log_repo_path: []const u8) !void {
 
 fn pushRepoChange(log_repo_path: []const u8) !void {
     try runNoCapture(log_repo_path, &[_][]const u8 {"git", "push", "origin", "HEAD:live", "-f"});
+    // don't push to GH more frequently than once in 15 minutes
+    std.time.sleep(@as(u64, 15 * 60) * std.time.ns_per_s); 
 }
 
 fn formatRepoLogFilename(buf: []u8, year_day: epoch.YearAndDay, month_day: epoch.MonthAndDay) usize {