The update to repo2docker should fix a problem with websockets not working properly that was reported in (amongst other places) Debugging your Binder
2 Likes
The update to repo2docker should fix a problem with websockets not working properly that was reported in (amongst other places) Debugging your Binder