release: push tag after creating it

Signed-off-by: Ivan Valdes <[email protected]>
ivanvc · Sep 13, 2024 · 5900df1 · 5900df1
1 parent c123b3e
commit 5900df1
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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