From 780df7a358a6230f730d756665eb44ada9e712ce Mon Sep 17 00:00:00 2001
From: Xiao Gui <xgui3783@gmail.com>
Date: Wed, 17 Nov 2021 17:48:28 +0100
Subject: [PATCH] chore: sync to gitlab remote
---
.github/workflows/repo_sync_ebrains.yml | 20 ++++++++++++++++++++
1 file changed, 20 insertions(+)
create mode 100644 .github/workflows/repo_sync_ebrains.yml
diff --git a/.github/workflows/repo_sync_ebrains.yml b/.github/workflows/repo_sync_ebrains.yml
new file mode 100644
index 000000000..12a2c515d
--- /dev/null
+++ b/.github/workflows/repo_sync_ebrains.yml
@@ -0,0 +1,20 @@
+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 }}
--
GitLab