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.

Sign up for GitHub

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

Jump to bottom

Update to JupyterLab 4 #90

Merged
merged 11 commits into from
Aug 30, 2023
Merged

Update to JupyterLab 4 #90

merged 11 commits into from
Aug 30, 2023

Conversation

jtpio
Copy link
Member

@jtpio jtpio commented Aug 4, 2023 •
edited
Loading

Using the update script:

pip install "copier~=8.0" jinja2-time tomli-w
python -m jupyterlab.upgrade_extension .

@jtpio jtpio added the enhancement New feature or request label Aug 4, 2023
@github-actions
Copy link

github-actions bot commented Aug 4, 2023

Binder 👈 Launch a binder notebook on branch jtpio/jupyterlab-kernelspy/lab4

@krassowski krassowski mentioned this pull request Aug 4, 2023
Open
@jtpio jtpio mentioned this pull request Aug 4, 2023
Merged
37 tasks
@fcollonval fcollonval mentioned this pull request Aug 15, 2023
Open
@savakarrohan
Lab4: Build successful (#1)
39a5087 
* add comments to thread Iterator

* my conversion

* the default next function

* build successfull

* _version Updated by hatchling?

* correct starting index
@jtpio
Copy link
Member Author

jtpio commented Aug 24, 2023

Thanks @savakarrohan for picking this up!

@jtpio jtpio marked this pull request as ready for review August 24, 2023 07:15
@jtpio jtpio requested a review from fcollonval August 24, 2023 07:15
martinRenou
martinRenou approved these changes Aug 30, 2023
View reviewed changes
Copy link
Member

@martinRenou martinRenou left a comment

Choose a reason for hiding this comment

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

Thanks! Works nicely

@martinRenou martinRenou merged commit 00f347a into jupyterlab-contrib:master Aug 30, 2023
@jtpio jtpio deleted the lab4 branch August 30, 2023 15:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@martinRenou martinRenou martinRenou approved these changes

@fcollonval fcollonval Awaiting requested review from fcollonval

Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@jtpio @martinRenou @savakarrohan