From de7e30d6c532e599a6d0fe93c9172db6daf3bd67 Mon Sep 17 00:00:00 2001
From: welpo <welpo@users.noreply.github.com>
Date: Mon, 15 Jan 2024 21:58:29 +0100
Subject: [PATCH] =?UTF-8?q?=F0=9F=91=B7=20chore(release):=20print=20GitHub?=
 =?UTF-8?q?=20tag=20URL=20at=20the=20end=20of=20release?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 release | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/release b/release
index 0baaca5..a1dcf85 100644
--- a/release
+++ b/release
@@ -62,3 +62,17 @@ echo
 
 echo "Release $VERSION_TAG is ready. Don't forget to push the changes and the tag:"
 echo "git push && git push --tags"
+echo
+echo "Once that's done, you should see your tag on GitHub:"
+
+remote_url=$(git remote get-url origin)
+
+# Check if the URL is in SSH format (git@).
+if [[ "$remote_url" == git@github.com:* ]]; then
+    https_url="https://github.com/${remote_url#git@github.com:}"
+    https_url="${https_url%.git}"
+else
+    https_url="${remote_url%.git}"
+fi
+
+echo "${https_url}/tags"