github: fix mirroring with DESY

Author: kofemann

.github/workflows/mirror.yml

@@ -1,17 +1,25 @@
-name: Mirroring
+name: Mirror and run GitLab CI
 
-on: [push, delete]
+on:
+  push:
 
 jobs:
   to_gitlab:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
-        with:
-          fetch-depth: 0
-      - uses: pixta-dev/repository-mirroring-action@v1
-        with:
-          target_repo_url:
-            git@gitlab.desy.de:dcache/dcache-helm.git
-          ssh_private_key:        
-            ${{ secrets.REPOSYNC_SSH_PRIVATE_KEY }}
+    - uses: actions/checkout@v4
+      with:
+        fetch-depth: 0
+    - name: Mirror + trigger CI
+      uses: SvanBoxel/gitlab-mirror-and-ci-action@0.6
+      with:
+        args: "https://gitlab.desy.de/dcache/dcache-helm"
+      env:
+        FOLLOW_TAGS: "true"
+        FORCE_PUSH: "false"
+        GITLAB_HOSTNAME: "gitlab.desy.de"
+        GITLAB_USERNAME: "dcache"
+        GITLAB_PASSWORD: ${{ secrets.GITLAB_PASSWORD }}
+        GITLAB_PROJECT_ID: "7648"
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        POLL_TIMEOUT: 60