From 4b33f5f5b18d380ceac014085c1371af671f7480 Mon Sep 17 00:00:00 2001
From: Paul Ebose <paulebose@gmail.com>
Date: Mon, 1 Jul 2024 02:41:04 +0100
Subject: [PATCH] use `--follow-tags` flag to push to remote

- Using `--follow-tags` instead of `--tags` can be the saner option
- `follow-tags` also pushes commits
---
 script/release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script/release b/script/release
index 22cc111..4da760f 100755
--- a/script/release
+++ b/script/release
@@ -59,6 +59,6 @@ git tag -a "$new_tag" -m "$new_tag Release"
 echo -e "${GREEN}Tagged: $new_tag${OFF}"
 
 # Push the new tag to the remote
-git push --tags
+git push --follow-tags
 echo -e "${GREEN}Release tag pushed to remote${OFF}"
 echo -e "${GREEN}Done!${OFF}"