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

ensure user is defined in early short-circuit requests #833

Merged

Zsailer merged 1 commit into jupyter-server:main from minrk:async-prepare

May 4, 2022

Contributor

minrk commented May 4, 2022

related to async get_user in #671. Found during #825


          ensure user is defined in early short-circuit requests

5787dde

Zsailer added the bug label

Zsailer approved these changes

View reviewed changes

Zsailer merged commit 4374a35 into jupyter-server:main

Member

Zsailer commented May 4, 2022

Thanks!

minrk deleted the async-prepare branch

May 5, 2022 07:30

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

Labels

bug