diff options
| author | arf20 <aruizfernandez05@gmail.com> | 2024-05-02 19:39:01 +0200 |
|---|---|---|
| committer | arf20 <aruizfernandez05@gmail.com> | 2024-05-02 19:39:01 +0200 |
| commit | fe649aed998af16df2af646bd0acfed0175f3aa9 (patch) | |
| tree | 7f645de7c343220cea95d78472b794699c521123 /.github/workflows | |
| parent | c990583718c1105d6d3814676a50a7bbd09fef3b (diff) | |
| download | arfnet2-lists-fe649aed998af16df2af646bd0acfed0175f3aa9.tar.gz arfnet2-lists-fe649aed998af16df2af646bd0acfed0175f3aa9.zip | |
Diffstat (limited to '.github/workflows')
| -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 0884624..0000000 --- a/.github/workflows/mirror.yml +++ /dev/null @@ -1,18 +0,0 @@ -name: Mirror to ARFNET - -on: [push] - -env: - REMOTE_REPO: arfnet2-lists - 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 - |