From 18604222df057793cb912df8fa28e80cdeb1b30e Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Mon, 9 Dec 2024 15:07:46 -1000
Subject: [PATCH] ;tools: just reltag -> reltags, reltags-push

---
 Justfile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Justfile b/Justfile
index 8d7e3a24d..249764e29 100644
--- a/Justfile
+++ b/Justfile
@@ -1445,7 +1445,7 @@ _on-master-branch:
     doc/ghrelnotes `cat .version` | pbcopy
 
 # Make git tags for a full release today. Run on release branch.
-reltag:
+reltags:
     #!/usr/bin/env bash
     set -euo pipefail
     just _on-release-branch
@@ -1455,6 +1455,10 @@ reltag:
     git tag --force --sign `cat .version` -m "Release `cat .version`"
     echo "Release has been tagged!"
 
+# Push the 5 release tags for the specified release version.
+reltags-push VER:
+    git push origin {{ VER }} hledger-{{ VER }} hledger-lib-{{ VER }} hledger-ui-{{ VER }} hledger-web-{{ VER }}
+
 # List git tags approximately most recent first (grouped by package). The available fields vary over time.
 tags:
     git tag -l --sort=-tag --format='%(refname:short) taggerdate:%(taggerdate:iso8601) committerdate:%(committerdate:iso8601)}'