From 8d9ce2abf9bfc868d9982ea89b07d733f3399e24 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Fri, 1 Mar 2024 18:13:30 -1000
Subject: [PATCH] ;just:push: allow custom poll interval argument

---
 Justfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Justfile b/Justfile
index 02abd3d83..8dc4349f7 100644
--- a/Justfile
+++ b/Justfile
@@ -1288,9 +1288,9 @@ sccv:
 # ** Misc ------------------------------------------------------------
 MISC:
 
-# push to github CI, wait for tests to pass, then push to master
-@push:
-    tools/push
+# push to github CI, wait for tests to pass, refreshing every INTERVAL (default:10s), then push to master.
+@push *INTERVAL:
+    tools/push {{ INTERVAL }}
 
 # run some tests to validate the development environment
 # check-setup: