Synch master and dev with EBRAINS gitlab

the-virtual-brain · Sep 17, 2024 · f555269 · f555269
1 parent 4f6240d
commit f555269
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/.github/workflows/ebrains-sync.yml b/.github/workflows/ebrains-sync.yml
@@ -2,7 +2,7 @@ name: Mirror to Ebrains
 
 on:
   push:
-    branches: [ master ]
+    branches: [ master, dev ]
 
 jobs:
   to_ebrains:
@@ -15,6 +15,13 @@ jobs:
           source_branch: "master"
           destination_repo: "https://ghpusher:${{ secrets.EBRAINS_GITLAB_ACCESS_TOKEN }}@gitlab.ebrains.eu/tvb/tvb-ext-xircuits.git"
           destination_branch: "master"
+      - name: syncdev
+        uses: wei/git-sync@v3
+        with:
+          source_repo: "the-virtual-brain/tvb-ext-xircuits"
+          source_branch: "dev"
+          destination_repo: "https://ghpusher:${{ secrets.EBRAINS_GITLAB_ACCESS_TOKEN }}@gitlab.ebrains.eu/tvb/tvb-ext-xircuits.git"
+          destination_branch: "dev"
       - name: synctags
         uses: wei/git-sync@v3
         with: