binderhub version on GESIS server is out of sync

[rgaiacs]

Around 10:20 CEST of 09 July 2024, the binderhub version on GESIS server got out of sync with mybinder.org

This was after #3025.

cc @arnim

[rgaiacs]

The helm dependency update call on GESIS server CI/CD failed with

Error: could not find : chart binderhub not found in https://jupyterhub.github.io/helm-chart: looks like "https://jupyterhub.github.io/helm-chart" is not a valid chart repository or cannot be reached: Get "https://jupyterhub.github.io/helm-chart/index.yaml": dial tcp: lookup jupyterhub.github.io on 10.6.10.128:53: read udp 172.17.0.3:53418->10.6.10.128:53: i/o timeout
Save error occurred:  could not find : chart binderhub not found in https://jupyterhub.github.io/helm-chart: looks like "https://jupyterhub.github.io/helm-chart" is not a valid chart repository or cannot be reached: Get "https://jupyterhub.github.io/helm-chart/index.yaml": dial tcp: lookup jupyterhub.github.io on 10.6.10.128:53: read udp 172.17.0.3:53418->10.6.10.128:53: i/o timeout

This is the first time that I remember seen this type of problem.

Around 5:21 CEST of 9 July 2024, I re-run the same CI/CD operation. This time, helm dependency update runs without problem.

I'm closing this as fixed.

cc @arnim