Use jupyter-repo2docker

.github/workflows/repo2docker.yml

@@ -37,22 +37,31 @@ jobs:
             end
           end
         end
+    - name: Setup Python
+      uses: actions/setup-python@v5
+      id: setup-python
+      with:
+        python-version: '3.x'
+    - name: Install Python dependencies
+      run: |
+        pip install uv
+        uv pip install --system -r jupyter-repo2docker
     - name: Login to ghcr.io
       uses: docker/login-action@v3
       with:
         registry: ghcr.io
         username: ${{ github.repository_owner	}}
         password: ${{ github.token }}
+    - name: Remove binder cache file
+      run: rm binder/Dockerfile || true
     - name: Update binder docker image with repo2docker
-      uses: jupyterhub/repo2docker-action@master
-      with:
-        DOCKER_REGISTRY: ghcr.io
-        DOCKER_USERNAME: ${{ github.repository_owner }}
-        DOCKER_PASSWORD: ${{ github.token }}
-        IMAGE_NAME: ${{ github.repository }}
-        PUBLIC_REGISTRY_CHECK: true
-        LATEST_TAG_OFF: true
-        ADDITIONAL_TAG: binder
+      run: >
+        jupyter-repo2docker
+        --image-name ghcr.io/${{ github.repository }}
+        --label "binder"
+        --no-run --push
+        --cache-from ghcr.io/${{ github.repository }}:binder
+        .
     - name: Write binder cache file
       run: |
         mkdir -p binder