Skip to content
This repository has been archived by the owner on Feb 16, 2023. It is now read-only.

Switch to maintainer-tools action for Binder on PR #301

Merged
merged 2 commits into from
Dec 8, 2021

Conversation

jtpio
Copy link
Member

@jtpio jtpio commented Dec 8, 2021

@jtpio jtpio added this to the 0.3.x milestone Dec 8, 2021
@github-actions
Copy link
Contributor

github-actions bot commented Dec 8, 2021

Binder 👈 Launch RetroLab on Binder

@jtpio jtpio merged commit 6b47f0c into jupyterlab:main Dec 8, 2021
@jtpio jtpio deleted the binder-badge-pr branch December 8, 2021 16:09
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant