Skip to content

Remove gitpod config#648

Merged
manics merged 1 commit intomainfrom
remove-gitpod
Oct 1, 2025
Merged

Remove gitpod config#648
manics merged 1 commit intomainfrom
remove-gitpod

Conversation

@manics
Copy link
Copy Markdown
Owner

@manics manics commented Oct 1, 2025

GitPod has pivoted

@github-actions
Copy link
Copy Markdown

github-actions bot commented Oct 1, 2025

Binder 👈 Launch a binder notebook on this branch for commit 59fabf4

I will automatically update this comment whenever this PR is modified

@manics manics merged commit fc96b7e into main Oct 1, 2025
15 checks passed
@manics manics deleted the remove-gitpod branch October 1, 2025 20:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant