From 08e77d5d309bf4cb15c9fb517873d912f64b7eb1 Mon Sep 17 00:00:00 2001 From: Hein Date: Tue, 29 Apr 2025 14:06:26 +0200 Subject: [PATCH] Added quick release script --- make_release.sh | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 make_release.sh diff --git a/make_release.sh b/make_release.sh new file mode 100644 index 0000000..287f0be --- /dev/null +++ b/make_release.sh @@ -0,0 +1,26 @@ +#!/bin/bash + +# Ask if the user wants to make a release version +read -p "Do you want to make a release version? (y/n): " make_release + +if [[ $make_release =~ ^[Yy]$ ]]; then + # Ask the user for the version number + read -p "Enter the version number : " version + + # Prepend 'v' to the version if it doesn't start with it + if ! [[ $version =~ ^v ]]; then + version="v$version" + else + echo "Version already starts with 'v'." + fi + + # Create an annotated tag + git tag -a "$version" -m "Released Core $version" + + # Push the tag to the remote repository + git push origin "$version" + + echo "Tag $version created for Core and pushed to the remote repository." +else + echo "No release version created." +fi