Skip to content

Merge branch 'dev' of ssh://ssh.github.com:443/hhzzff/THUAI7 into dev #127

Merge branch 'dev' of ssh://ssh.github.com:443/hhzzff/THUAI7 into dev

Merge branch 'dev' of ssh://ssh.github.com:443/hhzzff/THUAI7 into dev #127

Workflow file for this run

name: mirror
on:
push:
branches: [dev, main, master]
jobs:
mirror-to-gitee:
runs-on: ubuntu-latest
steps:
- name: Mirror to Gitee
uses: wearerequired/git-mirror-action@master
env:
SSH_PRIVATE_KEY: ${{ secrets.GITEE_PRIVATE_SSH_KEY }}
with:
source-repo: "[email protected]:eesast/THUAI7.git"
destination-repo: "[email protected]:eesast/thuai7.git"
mirror-to-gitlink:
runs-on: ubuntu-latest
steps:
- name: Mirror to GitLink
uses: wearerequired/git-mirror-action@master
env:
SSH_PRIVATE_KEY: ${{ secrets.GITEE_PRIVATE_SSH_KEY }}
with:
source-repo: "[email protected]:eesast/THUAI7.git"
destination-repo: "[email protected]:EESAST/THUAI7.git"