Skip to content

Merge pull request #1041 from nest/dependabot/pip/antlr4-python3-runt… #239

Merge pull request #1041 from nest/dependabot/pip/antlr4-python3-runt…

Merge pull request #1041 from nest/dependabot/pip/antlr4-python3-runt… #239

Workflow file for this run

name: Mirror to EBRAINS
on:
push:
branches: [ master ]
jobs:
sync_to_ebrains:
runs-on: ubuntu-latest
if: ${{ github.repository_owner == 'nest' }}
steps:
- name: sycnmaster
uses: wei/git-sync@v3
with:
source_repo: "nest/nestml"
source_branch: "master"
destination_repo: "https://ghpusher:${{ secrets.EBRAINS_NESTML_GITLAB }}@gitlab.ebrains.eu/nest/nestml.git"
destination_branch: "main"
- name: synctags
uses: wei/git-sync@v3
with:
source_repo: "nest/nestml"
source_branch: "refs/tags/*"
destination_repo: "https://ghpusher:${{ secrets.EBRAINS_NESTML_GITLAB }}@gitlab.ebrains.eu/nest/nestml.git"
destination_branch: "refs/tags/*"