Skip to content

MAINT: Drop JHub notebooks - #172

Merged
gmatthews20 merged 1 commit into
masterfrom
Docker_image_cleanup
Aug 14, 2026
Merged

MAINT: Drop JHub notebooks#172
gmatthews20 merged 1 commit into
masterfrom
Docker_image_cleanup

Conversation

@DavidFair

Copy link
Copy Markdown
Collaborator

Now the service has moved, and I've confirmed with the new team they're not using these notebooks, lets drop them from our build and source tree simplifying it down massively and reducing the delay for builds

Now the service has moved, and I've confirmed with the new team they're
not using these notebooks, lets drop them from our build and source tree
@DavidFair
DavidFair requested a review from a team as a code owner August 12, 2026 09:39
@DavidFair DavidFair added enhancement New feature or request github_actions Pull requests that update GitHub Actions code labels Aug 12, 2026
@gmatthews20
gmatthews20 merged commit d599466 into master Aug 14, 2026
24 of 26 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants