allow release -f

2024-06-12 11:53:24 +02:00 · 2024-06-12 11:53:24 +02:00 · 9198ba98cc
commit 9198ba98cc
parent e8f8356d0d
1 changed files with 3 additions and 3 deletions
--- a/scripts/release.sh
+++ b/scripts/release.sh
@ -4,8 +4,8 @@ if ! git diff-index --quiet --cached HEAD -- ; then
  echo "Cannot release dirty git tree. Commit your changes to main first."
  exit 1
 fi
-git push
+git push "$@"
 git checkout release
-git merge main
-git push
+git reset --hard main
+git push "$@"
 git checkout main