Skip to content
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

DX: enable language navigation on Jupyter Lab #229

Merged
merged 6 commits into from
Sep 9, 2023

Conversation

redeboer
Copy link
Member

@redeboer redeboer commented Sep 7, 2023

Automated changes by create-pull-request GitHub action

@redeboer redeboer added the 🔨 Maintenance Maintenance and upkeep improvements label Sep 7, 2023
@redeboer redeboer self-assigned this Sep 9, 2023
@redeboer redeboer marked this pull request as draft September 9, 2023 20:35
@redeboer redeboer force-pushed the create-pull-request/patch-1694056138 branch from e3b0130 to 90b123c Compare September 9, 2023 20:45
@redeboer redeboer changed the title MAINT: update pip constraints and pre-commit DX: enable language navigation on Jupyter Lab Sep 9, 2023
@redeboer redeboer added 🖱️ DX Improvements to the Developer Experience and removed 🔨 Maintenance Maintenance and upkeep improvements labels Sep 9, 2023
@redeboer redeboer marked this pull request as ready for review September 9, 2023 20:58
@redeboer redeboer merged commit 13aee32 into main Sep 9, 2023
32 checks passed
@redeboer redeboer deleted the create-pull-request/patch-1694056138 branch September 9, 2023 21:17
@redeboer redeboer added this to the 0.10.1 milestone Mar 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🖱️ DX Improvements to the Developer Experience
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants