-
Notifications
You must be signed in to change notification settings - Fork 75
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
Update repo2docker (Python 3.10 by default) and BinderHub (switch to jupyter-server) #2517
Conversation
/test-this-pr |
This Pull Request is now being tested 🎉 See the test progress in GitHub Actions. |
Job status: success |
We also need to modify mybinder.org-deploy/mybinder/values.yaml Lines 365 to 370 in 2b9d60d
|
On the other hand this means we should be able to merge #2515 as soon as the bot picks up jupyterhub/binderhub#1635 since it has no effect here! |
inherit default from binderhub
I think that was a temporary workaround for testing, which should have been removed here when the BinderHub changes solidified. It's now removed here, so it's not set in two places. |
/test-this-pr |
This Pull Request is now being tested 🎉 See the test progress in GitHub Actions. |
Job status: failure |
remove when upstreamed to binderhub
/test-this-pr please |
This Pull Request is now being tested 🎉 See the test progress in GitHub Actions. |
Job status: success |
to use a more recent, realistic revision
This reverts commit 76a1c93.
/test-this-pr |
This Pull Request is now being tested 🎉 See the test progress in GitHub Actions. |
Job status: success |
combines bot updates #2509 and #2515
closes #2509
closes #2515