Try to fix GitLab mirror (#80)

* Mirror in opposite direction * Push to correct remote
gyselax · Feb 7, 2025 · efd35f2 · efd35f2
1 parent 67402b2
commit efd35f2
Showing 1 changed file with 8 additions and 5 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -83,11 +83,14 @@ jobs:
     steps:
       - name: Checkout code
         uses: actions/checkout@v4
+        with:
+          repository: gysela-developpers/gyselalibxx
+          token: ${{secrets.GITLAB_PAT}}
+          ref: public
+          github-server-url: https://gitlab.maisondelasimulation.fr
       - name: Update GitLab
         run: |
-          git remote add gitlab https://ci_bot:${GITLAB_PAT}@gitlab.maisondelasimulation.fr/gysela-developpers/gyselalibxx.git
-          git fetch gitlab public
-          git push gitlab main:public
+          git remote add github https://github.com/gyselax/gyselalibxx.git
+          git fetch github ${{ github.SHA }}
+          git push origin ${{ github.SHA }}:public
         shell: bash
-        env:
-          GITLAB_PAT: ${{secrets.GITLAB_PAT}}