diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/do_release.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/do_release.sh b/tools/do_release.sh index 78e76b7..f24eaf6 100644 --- a/tools/do_release.sh +++ b/tools/do_release.sh @@ -69,7 +69,7 @@ git tag -a "v-productdb-$PRODUCTDB_VERSION" -m "Auto-release for STM32 Product D if [ ! -z ${GITLAB_ACCESS_TOKEN+x} ]; then echo "Access token found, pushing commit and tags" git remote add -f ci-origin https://oauth2:${GITLAB_ACCESS_TOKEN}@gitlab.com/${CI_PROJECT_PATH} - git push --tags --force ci-origin release + git push --tags --force ci-origin HEAD:release else echo "No access token found. Not pushing anything." fi |