made new release 2.4

2025-01-03 21:27:19 +01:00
parent 910e968653
commit 66f3ad791f
2 changed files with 6 additions and 4 deletions
@@ -16,7 +16,7 @@ echo "[add, commit, push]"
 echo
 git add ..
 git commit -m "made new release $ver"
-git push
+git push -f

 # build
 echo
@@ -42,7 +42,9 @@ curl --request POST \
    "https://gitlab.com/api/v4/projects/47146187/repository/tags"

 # make a release
-echo "\n[publishing release $ver]\n"
+echo 
+echo "[publishing release $ver]"
+echo
 data_str='{ "name": "v'$ver'", "tag_name": "'$ver'", "ref": "HEAD" }'
 curl --request POST \
    --header "PRIVATE-TOKEN: $glpat" \