Binder launch button appears even if unspecified #606
Description
Describe the bug
In this _config file, I do not specify any url for binder_url.
However, I still get the Binder launch button.
Reproduce the bug
- Remove binder_url or set it to ""
- Binder launch button is still there
List your environment
No response