From 964d21ab1b53a6b446ce98442facb1c19aa1c463 Mon Sep 17 00:00:00 2001
From: Earl Warren <contact@earl-warren.org>
Date: Sat, 14 Oct 2023 20:26:10 +0200
Subject: [PATCH] the SHA of the head is always needed, even when there is no
 update

---
 cascading-pr.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cascading-pr.sh b/cascading-pr.sh
index 420cc78..ecdb51b 100755
--- a/cascading-pr.sh
+++ b/cascading-pr.sh
@@ -139,11 +139,11 @@ function push() {
 	git add .
 	if git commit -m 'cascading-pr update'; then
 	    git push --force origin $branch
-	    git rev-parse HEAD > ../$direction.sha
 	    log_info "pushed"
 	else
 	    log_info "nothing to push"
 	fi
+	git rev-parse HEAD > ../$direction.sha
     )
 }