From efd35f2b34bc0513cb6f888825af00e52027f75f Mon Sep 17 00:00:00 2001
From: Emily Bourne <emily.bourne@epfl.ch>
Date: Fri, 7 Feb 2025 15:49:17 +0100
Subject: [PATCH] Try to fix GitLab mirror (#80)

* Mirror in opposite direction

* Push to correct remote
---
 .github/workflows/deploy.yml | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 2ac2be72f..8529e1879 100644
--- 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}}