Create gitlab-mirror.yml

scipopt · Feb 4, 2025 · 07d46eb · 07d46eb
1 parent 0e12361
commit 07d46eb
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/.github/workflows/gitlab-mirror.yml b/.github/workflows/gitlab-mirror.yml
@@ -0,0 +1,18 @@
+name: OR-Gitlab Mirror
+on: 
+  - push
+  - delete
+jobs:
+  sync:
+    runs-on: ubuntu-latest
+    name: Git Repo Sync
+    steps:
+    - uses: actions/checkout@v2
+      with:
+        fetch-depth: 0
+    - uses: wangchucheng/[email protected]
+      with:
+        target-url: ${{ secrets.OR_GITLAB_URL }}
+        target-username: ${{ secrets.OR_GITLAB_USERNAME }}
+        target-token: ${{ secrets.OR_GITLAB_ACCESS_TOKEN }
+