Skip to content

chore: Minor fixes to update dev deployment setup #28

chore: Minor fixes to update dev deployment setup

chore: Minor fixes to update dev deployment setup #28

Workflow file for this run

name: Mirror to Ebrains
on:
push:
branches: [ master ]
tags:
- '*'
jobs:
to_ebrains:
runs-on: ubuntu-latest
steps:
- name: syncmaster
uses: wei/git-sync@v3
with:
source_repo: "HBPMedical/mip-deployment"
source_branch: "master"
destination_repo: "https://ghpusher:${{ secrets.EBRAINS_GITLAB_ACCESS_TOKEN }}@gitlab.ebrains.eu/hbp-mip/mip-deployment.git"
destination_branch: "master"
- name: synctags
uses: wei/git-sync@v3
with:
source_repo: "HBPMedical/mip-deployment"
source_branch: "refs/tags/*"
destination_repo: "https://ghpusher:${{ secrets.EBRAINS_GITLAB_ACCESS_TOKEN }}@gitlab.ebrains.eu/hbp-mip/mip-deployment.git"
destination_branch: "refs/tags/*"