-
Notifications
You must be signed in to change notification settings - Fork 18
Don't use binderbot! #91
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
Conversation
👋 Thanks for opening this PR! The Cookbook will be automatically built with GitHub Actions. To see the status of your deployment, click below. |
Differences include:
|
Both this and #90 are working now. But if we're going to have a switch to toggle Binder execution on and off, it should be simpler (i.e. fewer edits needed in the repo). Maybe a better approach is to get rid of the |
This PR tests the new switch to disable executing via binderbot.
I don't think this should be merged, rather I think the default in the template should use binderbot, as in #90. But we want to test this option (and document its use).