Commit 58318827 authored by Dominik Charousset's avatar Dominik Charousset

Push tags before master when making releases

parent 1c82bf96
......@@ -157,11 +157,11 @@ echo "\
set -e
git commit -a -m \"Change version to $1\"
git push
git tag $tag_version
git push origin --tags
git checkout master
git merge develop
git push
git tag $tag_version
git push origin --tags
git checkout develop
curl --data '$github_json' https://api.github.com/repos/actor-framework/actor-framework/releases?access_token=$token
cp "$blog_msg" "$blog_target_file"
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment