From 57c7d7d3418bb2ca429225e8630a20ca49bbfe18 Mon Sep 17 00:00:00 2001 From: eyedeekay Date: Tue, 7 Jan 2025 20:54:13 -0500 Subject: [PATCH] push with push.sh instead so that we get nightly builds --- push.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/push.sh b/push.sh index b39f1a0..ba3016f 100755 --- a/push.sh +++ b/push.sh @@ -1,6 +1,7 @@ #! /usr/bin/env sh nightly_hash=nightly-$(git log -1 --format=%H) -git tag -s "$nightly_hash" +nightly_date=$(date) +git tag -m "$nightly_date" -s "$nightly_hash" git push --all git push --tags \ No newline at end of file