Automatically update binder Dockerfile

Author: cgcgcg

.github/workflows/container.yml

@@ -115,3 +115,31 @@ jobs:
 
     - name: Run container test
       run: podman-compose run quick-test
+
+  update-binder-image:
+    needs: container
+    if: github.event_name == 'push'
+
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout binder branch
+        uses: actions/checkout@v4
+        with:
+          ref: binder
+
+      - name: Modify Dockerfile
+        run: |
+          python generateDockerfile.py ${{ env.IMAGE_REGISTRY }}/${{ env.IMAGE_NAME }}:${{ env.TEST_IMAGE_TAG }}
+
+      - name: Create PR
+        uses: peter-evans/create-pull-request@v3
+        with:
+          token: ${{ secrets.GITHUB_TOKEN }}
+          commit-message: "Update Dockerfile"
+          title: "Update Dockerfile"
+          body: |
+            This PR updates the Dockerfile for binder.
+          branch: binder-update
+          base: binder
+          delete-branch: true