Skip to content
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

Create a PR for website update after a release #2482

Merged
merged 2 commits into from
Oct 17, 2019

Conversation

Tyriar
Copy link
Member

@Tyriar Tyriar commented Oct 17, 2019

Seems to work locally, need to wait for the v4.2 version to test it properly though.

Fixes #2452

@Tyriar Tyriar added this to the 4.2.0 milestone Oct 17, 2019
@Tyriar Tyriar self-assigned this Oct 17, 2019
@Tyriar Tyriar merged commit 9df547d into xtermjs:master Oct 17, 2019
@Tyriar Tyriar deleted the 2452_website_update branch October 17, 2019 19:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Automatically update the website on a major/minor release
1 participant