Skip to content

remove pdf documentation (#412) #94

remove pdf documentation (#412)

remove pdf documentation (#412) #94

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/eFEL"
source_branch: "master"
destination_repo: "https://ghpusher:${{ secrets.EBRAINS_GITLAB_ACCESS_TOKEN_2024 }}@gitlab.ebrains.eu/BlueBrain/efel.git"
destination_branch: "master"
- name: synctags
uses: wei/git-sync@v3
with:
source_repo: "BlueBrain/eFEL"
source_branch: "refs/tags/*"
destination_repo: "https://ghpusher:${{ secrets.EBRAINS_GITLAB_ACCESS_TOKEN_2024 }}@gitlab.ebrains.eu/BlueBrain/efel.git"
destination_branch: "refs/tags/*"