diff options
| author | arf20 <aruizfernandez05@gmail.com> | 2024-04-16 17:45:18 +0200 |
|---|---|---|
| committer | arf20 <aruizfernandez05@gmail.com> | 2024-04-16 17:45:18 +0200 |
| commit | c990583718c1105d6d3814676a50a7bbd09fef3b (patch) | |
| tree | ddf643c4cd39744da794e7018e429971382cd362 /.github/workflows/mirror.yml | |
| parent | 65f11e770ef7a7fdc138db9e10a03686f5d8dd8d (diff) | |
| download | arfnet2-lists-c990583718c1105d6d3814676a50a7bbd09fef3b.tar.gz arfnet2-lists-c990583718c1105d6d3814676a50a7bbd09fef3b.zip | |
Subscription howto and mirror workflow
Diffstat (limited to '.github/workflows/mirror.yml')
| -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..0884624 --- /dev/null +++ b/.github/workflows/mirror.yml @@ -0,0 +1,18 @@ +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 + |