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

More typing cleanup #877

Merged

blink1073 merged 2 commits into ipython:main from blink1073:even-more-types-cleanup

Oct 3, 2023

Contributor

blink1073 commented Oct 3, 2023

Based on usage in jupyter_core and jupyter_server.


          More typing cleanup

f8fac0c

blink1073 added the maintenance label


          cleanup

8d7393d

blink1073 enabled auto-merge (squash)

October 3, 2023 20:03

blink1073 merged commit e238765 into ipython:main

27 checks passed

blink1073 deleted the even-more-types-cleanup branch

October 3, 2023 20:11

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

Labels