+ git push origin "$branch"
+
+ # Only update master if it is not a pre release
+ if [ -z "$github_prerelease_option" ]; then
+ # Update master branch
+ git checkout master
+ git merge "$branch"
+ git push origin master
+ git checkout "$branch"
+
+ # Release types package
+ npm run generate-types-package "$version"
+ cd types/dist
+ npm publish --access public
+ fi