remove push to master

pull/15355/head
Alberto Romeu 5 years ago
parent ea011b0985
commit 122d0ca9b9

@ -135,4 +135,4 @@ puts 'Committing, tagging and pushing...'
`git add NEWS.md` `git add NEWS.md`
`git commit -m "Bump to #{next_version}"` `git commit -m "Bump to #{next_version}"`
`git tag -a v#{next_version} -m "Version #{next_version}"` `git tag -a v#{next_version} -m "Version #{next_version}"`
`git push origin master --follow-tags` # `git push origin master --follow-tags`

Loading…
Cancel
Save