Hello, I built my binderhub using the “zero to binderhub” guide, where as a repository I chose the docker hub. I created my docker hub account to which I can push images manually via ‘docker push’. But despite having
registry: username: <user> password: <pass>
in my secret.yaml (where instead of and are my docker hub credentials and
config: BinderHub: use_registry: true image_prefix: <user>/binder-meta-
in my config.yaml, my image building process ends with an error message
... Succesfully built .... Succesfully tagged ... denied: requested access to the resource is denied
where docker hub seems to deny the image upload request. The docker image is actually created and I can seem him in the docker images output, with a name and tag
binder-<repository-name>-<some-random-hexa-string>, and if I try to docker push it, I get the exact same request denied error.
BUT, if I use docker tag
<image-ID> <user>/myimg command to properly tag my image, suddenly docker push works. So somehow, despite setting image tagging in the config file, binderhub improperly tags the image and the docker refuses the upload.
I have actually tried this on 2 independent linux machines, and both give the same error, until I fix the tag, then docker push works. Any idea how to set proper tagging in binderhub (config files, or even hard coding it to helm chart or source code is fine for me)…