diff options
| author | arf20 <aruizfernandez05@gmail.com> | 2024-03-25 00:56:57 +0100 |
|---|---|---|
| committer | arf20 <aruizfernandez05@gmail.com> | 2024-03-25 00:56:57 +0100 |
| commit | 27915afbac17f986d7662411225cf2535bdb8752 (patch) | |
| tree | 13e854aac6075756a3ec800ff11c52a6f8d7b233 /.github | |
| parent | 8ac8c330798cc66f46c195b013a66f2f7f160dde (diff) | |
| download | arfnet2-cstims-27915afbac17f986d7662411225cf2535bdb8752.tar.gz arfnet2-cstims-27915afbac17f986d7662411225cf2535bdb8752.zip | |
Mirror workflow
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 + |