Updated mirror to gitlab

Author: terranovafr

.github/workflows/mirror-to-gitlab.yml

@@ -19,5 +19,5 @@ jobs:
 
       - name: Push to GitLab
         run: |
-          git remote add gitlab https://oauth2:${{ secrets.GITLAB_TOKEN }}@gitlab.com/${{ secrets.GITLAB_REPO }}
+          git remote add gitlab https://oauth2:${{ secrets.GITLAB_TOKEN }}@gitlab.inria.fr/${{ secrets.GITLAB_REPO }}
           git push --mirror gitlab