Skip to content

Merge branch 'feat/pub-sub' into 'dev' #5

Merge branch 'feat/pub-sub' into 'dev'

Merge branch 'feat/pub-sub' into 'dev' #5

Workflow file for this run

name: Mirroring
on:
push:
branches:
- master
- dev
tags:
- '*'
jobs:
git-sync:
runs-on: ubuntu-latest
steps:
- name: git-sync
uses: wei/git-sync@v3
with:
source_repo: ${GITHUB_REPOSITORY}
source_branch: ${{github.ref_name}}
destination_repo: 'https://${{ secrets.DESTINATION_USER }}:${{ secrets.DESTINATION_TOKEN }}@${{ secrets.DESTINATION_SERVER }}/ergo/${GITHUB_REPOSITORY}.git'
destination_branch: ${{github.ref_name}}