diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/mirror.yml | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml new file mode 100644 index 0000000..e9e84d8 --- /dev/null +++ b/.github/workflows/mirror.yml @@ -0,0 +1,18 @@ +name: Mirror to ARFNET + +on: [push] + +env: + REMOTE_REPO: arfnet2-cstims + REMOTE_SERVER: git.arf20.com + +jobs: + push-mirror: + runs-on: ubuntu-latest + steps: + - name: Clone repo + run: git clone https://github.com/${{ github.repository }} + + - name: Push to remote repo + run: cd $REMOTE_REPO && git push -u https://${{ secrets.MIRROR_USER }}:${{ secrets.MIRROR_PASSWORD }}@$REMOTE_SERVER/$REMOTE_REPO master + |