New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Build: make prerelease script publish to GitHub/website #10151

merged 1 commit into from Mar 30, 2018


None yet
2 participants

not-an-aardvark commented Mar 30, 2018

What is the purpose of this pull request? (put an "X" next to item)

[x] Other, please explain:

What changes did you make? (Give an overview)

This updates the prerelease build to also push changes to and push a release to GitHub.

Is there anything you'd like reviewers to focus on?

Is there a reason it wasn't doing this before?


I'm very curious why this wasn't done before, but it seems like what we want to do now. LGTM

@not-an-aardvark not-an-aardvark merged commit f2f98dd into master Mar 30, 2018

5 checks passed

commit-message Commit message follows guidelines
continuous-integration/appveyor/pr AppVeyor build succeeded
continuous-integration/travis-ci/pr The Travis CI build passed
licence/cla Contributor License Agreement is signed.
release-monitor No patch release is pending

@not-an-aardvark not-an-aardvark deleted the publish-prereleases branch Mar 30, 2018

@eslint eslint bot locked and limited conversation to collaborators Sep 27, 2018

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.