I would like to suggest adding a note to Binder error pages advising the user to simply refresh the page, which is known to solve the error in many cases.
I saw this suggestion some time ago among the Binder developers, and since then I’ve realised that that would indeed be great for many visitors to Binder repos who don’t know this trick.
Thanks a lot,
I think this would be a good addition.
The templates from which the web pages of BinderHub are rendered are https://github.com/jupyterhub/binderhub/tree/master/binderhub/templates
Some of these would benefit from having a “try refreshing” message, but others won’t. So we can’t blindly slap it on every error page.
If you or someone else wants to tackle this, please do and create a Pull Request. Even just changing one page would already be a win (don’t have to do all of them at once).
Thanks! Sounds good. I’ll give it a try.