Merge pull request #261 from BlueBrain/ebrains-sync

add gh workflow to sync to ebrains mirror at each push

Author: AurelienJaquier

.github/workflows/mirror-ebrains.yml

@@ -0,0 +1,24 @@
+name: Mirror to Ebrains
+
+on:
+  push:
+    branches: [ master ]
+
+jobs:
+  to_ebrains:
+    runs-on: ubuntu-latest
+    steps:
+      - name: syncmaster
+        uses: wei/git-sync@v3
+        with:
+          source_repo: "BlueBrain/BluePyMM"
+          source_branch: "master"
+          destination_repo: "https://ghpusher:${{ secrets.EBRAINS_GITLAB_ACCESS_TOKEN }}@gitlab.ebrains.eu/BlueBrain/bluepymm.git"
+          destination_branch: "master"
+      - name: synctags
+        uses: wei/git-sync@v3
+        with:
+          source_repo: "BlueBrain/BluePyMM"
+          source_branch: "refs/tags/*"
+          destination_repo: "https://ghpusher:${{ secrets.EBRAINS_GITLAB_ACCESS_TOKEN }}@gitlab.ebrains.eu/BlueBrain/bluepymm.git"
+          destination_branch: "refs/tags/*"