From 67deeafd343d9db39e21369cab4bd41fb50d0b52 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Sat, 9 Dec 2023 00:26:06 -1000
Subject: [PATCH] just: push

---
 justfile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/justfile b/justfile
index 2c9779bee..a5ad0a38a 100644
--- a/justfile
+++ b/justfile
@@ -14,6 +14,12 @@
 @fmt:
     just -q check || just --fmt --unstable
 
+# ** dev
+
+# push to github CI branch, wait for CI tests to pass, then push to master
+@push *INTERVALSECS:
+    tools/push {{ INTERVALSECS }}
+
 # ** releasing
 
 # Symlink/copy important files temporarily in .relfiles/.