If the repo2docker build pod builds an image but can't push it to the registry this should be detected as a failure. However sometimes BinderHub doesn't detect the error, and instead proceeds to attempt to launch the image as if it had been pushed.
Expected behaviour
Failure to build or push a repo to a container registry should result in BinderHub returning an error, and not attempting to launch the image in JupyterHub
Actual behaviour
Sometimes the push fails, but BinderHub still attempts to launch the image. JupyterHub fails since the image wasn't pushed.
Bug description
If the repo2docker build pod builds an image but can't push it to the registry this should be detected as a failure. However sometimes BinderHub doesn't detect the error, and instead proceeds to attempt to launch the image as if it had been pushed.
Expected behaviour
Failure to build or push a repo to a container registry should result in BinderHub returning an error, and not attempting to launch the image in JupyterHub
Actual behaviour
Sometimes the push fails, but BinderHub still attempts to launch the image. JupyterHub fails since the image wasn't pushed.
How to reproduce
This is an intermittent bug, I haven't figured out how to reproduce it reliably. I've experienced it with Docker Hub, and it sounds like this has occurred in https://discourse.jupyter.org/t/eks-binder-fails-to-build-repo/15287/6