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

Revert "Publish 4.0.0" #151

Merged

jtpio merged 1 commit into jupyterlab:main from jtpio:revert-release-commit

Aug 3, 2023

Member

jtpio commented Aug 3, 2023

Debugging the release process: #147


          Revert "Publish 4.0.0"

ff3c11e

This reverts commit 7825d8f.

github-actions bot commented Aug 3, 2023

👈 Launch a binder notebook on branch jtpio/jupyterlab-github/revert-release-commit

jtpio added the maintenance label

jtpio merged commit 519d34b into jupyterlab:main

10 checks passed

jtpio deleted the revert-release-commit branch

August 3, 2023 13:58

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

Labels