chore: sync to gitlab remote

.github/workflows/repo_sync_ebrains.yml

+name: "[repo-sync] repo-sync gitlab.ebrains.eu"
+
+on:
+  push:
+    branches:
+      - master
+      - staging
+
+jobs:
+  sync:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - uses: wei/git-sync@v3
+      with:
+        - source_repo: ${{ env.GITHUB_REPOSITORY }}
+        - source_branch: ${{ env.GITHUB_REF_NAME }}
+        - destination_repo: ${{ secrets.GITLAB_MIRROR_EBRAINS_DEST }}
+        - destination_branch: ${{ env.GITHUB_REF_NAME }}
+        - destination_ssh_private_key: ${{ secrets.GITLAB_MIRROR_EBRAINS_SSH }}