diff options
author | jaseg <git@jaseg.de> | 2020-11-18 14:26:07 +0100 |
---|---|---|
committer | jaseg <git@jaseg.de> | 2020-11-18 14:26:07 +0100 |
commit | f757003a62ae918f3b54d5d9b10465cdcd068161 (patch) | |
tree | 588f284067053619e04a5e36370152c5e8333c39 /tools | |
parent | a8df29547caf2c9bf15ab08f47b969b6ba9fde01 (diff) | |
download | stm32square-f757003a62ae918f3b54d5d9b10465cdcd068161.tar.gz stm32square-f757003a62ae918f3b54d5d9b10465cdcd068161.tar.bz2 stm32square-f757003a62ae918f3b54d5d9b10465cdcd068161.zip |
Fix CI auto-push
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 |