Skip to content

Conversation

@jtpio
Copy link
Member

@jtpio jtpio commented Jun 15, 2023

References

Similar to jupyter/notebook#6894

Code changes

Gitpod config update.

User-facing changes

None

Backwards-incompatible changes

None

@jupyterlab-probot
Copy link

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

@jtpio jtpio added this to the 4.0.x milestone Jun 15, 2023
@jtpio jtpio requested a review from andrii-i June 15, 2023 08:02
@jtpio
Copy link
Member Author

jtpio commented Jun 15, 2023

cc @andrii-i since we discussed this

Copy link
Contributor

@andrii-i andrii-i left a comment

Choose a reason for hiding this comment

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

Gitpod works well with this. Thank you @jtpio

@jtpio jtpio merged commit d56ff81 into jupyterlab:main Jun 16, 2023
@jtpio jtpio deleted the gitpod-fix branch June 16, 2023 07:25
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jun 16, 2024
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.

2 participants