From 5900df17a72152ef122214caf69809ca2c3c028e Mon Sep 17 00:00:00 2001
From: Ivan Valdes <ivan@vald.es>
Date: Fri, 13 Sep 2024 15:02:47 -0700
Subject: [PATCH] release: push tag after creating it

Signed-off-by: Ivan Valdes <ivan@vald.es>
---
 scripts/release.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/scripts/release.sh b/scripts/release.sh
index 6ca51114f5b..72c33db97b6 100755
--- a/scripts/release.sh
+++ b/scripts/release.sh
@@ -142,6 +142,12 @@ main() {
         exit 1
       fi
       git tag --local-user "${KEYID}" --sign "${RELEASE_VERSION}" --message "${RELEASE_VERSION}"
+
+      if [ "$DRY_RUN" != "true" ]; then
+        read -p "Push tag ${RELEASE_VERSION} to github.com/etcd-io/etcd [y/N]? " -r confirm
+        [[ "${confirm,,}" == "y" ]] || exit 1
+        git push origin "${RELEASE_VERSION}"
+      fi
     fi
 
     # Verify the latest commit has the version tag