Skip to content

Conversation

@blink1073
Copy link
Contributor

No description provided.

@blink1073 blink1073 enabled auto-merge (squash) November 5, 2023 02:08
@blink1073 blink1073 merged commit 811e16f into jupyter-server:main Nov 5, 2023
@blink1073 blink1073 deleted the clean-up-lint-handling branch November 5, 2023 02:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant