diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/mirror.yml | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml deleted file mode 100644 index e9e84d8..0000000 --- a/.github/workflows/mirror.yml +++ /dev/null @@ -1,18 +0,0 @@ -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 - |