diff options
| author | arf20 <aruizfernandez05@gmail.com> | 2024-05-01 18:36:55 +0200 |
|---|---|---|
| committer | arf20 <aruizfernandez05@gmail.com> | 2024-05-01 18:36:55 +0200 |
| commit | e11d24e700d9f44364b4b8960ab67c46aa286619 (patch) | |
| tree | 101c757760fb8ee8f9c7b4d6f065a8e400a7936d /.github | |
| parent | 531356f97c3a0268fbe0ab98c7158f8147bacd66 (diff) | |
| download | arfnet2-cstims-e11d24e700d9f44364b4b8960ab67c46aa286619.tar.gz arfnet2-cstims-e11d24e700d9f44364b4b8960ab67c46aa286619.zip | |
Bye bye, github
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 - |