From 140d5881af6d5365bbb705bc0fe760a310754671 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lukas=20W=C3=B6lfer?= <lukas.woelfer@rwth-aachen.de>
Date: Fri, 30 Jan 2026 18:17:43 +0100
Subject: [PATCH] chore: add push command to bump script

---
 scripts/bump.sh | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/scripts/bump.sh b/scripts/bump.sh
index 6736e47..dbcb7f8 100644
--- a/scripts/bump.sh
+++ b/scripts/bump.sh
@@ -6,11 +6,22 @@ VERSION="$(git cliff --bumped-version)"
 VERSION_CLEAN="${VERSION#v}"
 sed -i "s/^version = \".*\"/version = \"${VERSION_CLEAN}\"/" Cargo.toml
 cargo check
+
 echo Press Y to commit version bump to ${VERSION_CLEAN}
 read -r CONFIRM
 if [ "${CONFIRM}" != "Y" ]; then
     echo Aborting
     exit 1
 fi
+
 git commit -am "chore: bump version to ${VERSION}"
-git tag -am "Version ${VERSION}" "${VERSION}"
\ No newline at end of file
+git tag -am "Version ${VERSION}" "${VERSION}"
+
+echo Press Y to push commit and tag
+read -r CONFIRM
+if [ "${CONFIRM}" != "Y" ]; then
+    echo Aborting
+    exit 1
+fi
+git push
+git push --tags