added retries to mirror workflow

Author: chubnastia

.github/workflows/mirror.yml

@@ -2,20 +2,26 @@ name: Mirror and run GitLab CI
 
 on:
   push:
+  workflow_run:
+    workflows: ["Mirror and run GitLab CI"]
+    types: [completed]
 
 jobs:
   to_gitlab:
+    if: |
+      github.event_name == 'push' ||
+      (github.event_name == 'workflow_run' && 
+       github.event.workflow_run.conclusion == 'failure' &&
+       github.event.workflow_run.run_attempt < 3)
     runs-on: ubuntu-latest
-    env:
-      ACTIONS_STEP_DEBUG: "true"
     steps:
       - uses: actions/checkout@v4
         with:
           fetch-depth: 0
 
       - name: Mirror + trigger CI
         uses: SvanBoxel/gitlab-mirror-and-ci-action@0.6
-        timeout-minutes: 5
+        timeout-minutes: 15
         with:
           args: "https://gitlab.desy.de/dcache/dcache"
         env:
@@ -27,6 +33,3 @@ jobs:
           GITLAB_PROJECT_ID: "21"
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           POLL_TIMEOUT: 60
-          GIT_TRACE: "1"
-          GIT_CURL_VERBOSE: "1"
-          GIT_TRANSFER_TRACE: "1"