Skip to content

Commit

Permalink
push master after merging stable after release
Browse files Browse the repository at this point in the history
  • Loading branch information
@klues
klues committed Nov 15, 2024
1 parent d8cc5ca commit 9d58766
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions scripts/release.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -77,6 +77,7 @@ git push origin HEAD
do_gh_pages_update
git checkout master
git merge stable
git push origin master
echo "$tagname successfully released!"


0 comments on commit 9d58766

Please sign in to comment.