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

Backport #12667 on branch 3.6.x (Add events service) #13465

Merged
merged 2 commits into from
Nov 22, 2022

Conversation

fcollonval
Copy link
Member

Backport #12667

@jupyterlab-probot
Copy link

Thanks for making a pull request to jupyterlab!
To try out this branch on binder, follow this link: Binder

@afshin afshin merged commit 8021dc3 into jupyterlab:3.6.x Nov 22, 2022
@@ -16,7 +16,7 @@
"resolveJsonModule": true,
"sourceMap": true,
"strictNullChecks": true,
"target": "es2017",
"target": "es2018",
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@afshin are we ok to change that for a minor release?

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I am not sure I fully understand the ramifications. I don’t think this is backward-incompatible but I’m not 100% confident.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is backward incompatible in the sense that it raises the required version of web browsers.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think in that sense we might be okay because all the browsers we support are covered.

Do you think we have a problem?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I guess the time of holding back on web browser update in organization is mostly over. But it is worth raising the point at a weekly call (although this week may not be the best).

@fcollonval fcollonval deleted the backport/12667-events-service branch November 23, 2022 08:02
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Nov 24, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants