Yes, there were more issues after that one that were being discussed in the Zulip conversation.
All seem resolved for now.
Importantly, that link launches just fine for me at the present time.
When you are having issues, it is always best to try some independent repo. Preferably one that needs to build if you are stuck at the building step. Or likewise for different stages. That way you aren’t thinking your repo is the problem when it is a more general issue. (See below for some tips about this.)
The infrastructure running MyBinder has a different approach of late and they are working out some of the kinks still with running in a new way on a new resource, see here and here for just an indication of what is happening. There’s been some bumps the last few weeks; however, Yuvi is tackling them pretty quickly and all combined it should make it more resilient.
Plus, now you know if things go out in the middle of a launch and then you see the Error: ErrImagePull to wait or try a new commit.
Tips for testing independent repos:
For finding places to try, beyond the examples at the main github, there’s a good list in the gists of Jeremy Tuloup. The ones that Jeremy lists tend to get less used than the main examples and so you may have better luck finding one that matches your state of buildable/stored layers/ launching well.