-
Notifications
You must be signed in to change notification settings - Fork 92
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
Remove binder? #399
Comments
Good catch. I got so used to those comments that I stopped seeing them 🤣 |
As of #821, Binder is working again, which begs the question do we want to re-enable the binder links? I personally don't care either way, but I lean not re-enabling them and closing this issue. |
I'd be pro re-enabling if they worked like the ReadTheDocs links work :) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Each PR gets a comment like this one #397 (comment) with a binder link. Though it looks like the binder is build is broken (see this build for an example). I'll propose we remove the PR comments until the builds are fixed.
The text was updated successfully, but these errors were encountered: