Skip to content

Commit

Permalink
Update push to github to use only tag while pushing
Browse files Browse the repository at this point in the history
  • Loading branch information
pwmb committed Dec 30, 2019
1 parent 7472fe7 commit 6c5e707
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions ci/push_to_github.sh
Original file line number Diff line number Diff line change
Expand Up @@ -5,9 +5,10 @@
set -ex

if [ -n "${CI_COMMIT_TAG}" ]; then
# for tags
echo "Pushing Tag: $CI_COMMIT_TAG"
git push --force github "${CI_COMMIT_TAG}"
else
# for branches
git push github "${CI_COMMIT_SHA}:refs/heads/${CI_COMMIT_REF_NAME}"
echo "For now only tag can be pushed to Github as a release"
exit 1
# git push github "${CI_COMMIT_SHA}:refs/heads/${CI_COMMIT_REF_NAME}"
fi

0 comments on commit 6c5e707

Please sign in to comment.