summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorarf20 <35542215+arf20@users.noreply.github.com>2024-01-24 20:02:12 +0100
committerGitHub <noreply@github.com>2024-01-24 20:02:12 +0100
commit738a3c618af9998746c3c8c465425517a86a7590 (patch)
tree299d26fd1bfc8a2d991453771bc4fe02725c1bdf
parentb7934d4771f7893889ee8eccc64910a2215ea60b (diff)
downloadarfnet2-738a3c618af9998746c3c8c465425517a86a7590.tar.gz
arfnet2-738a3c618af9998746c3c8c465425517a86a7590.zip
Fix workflow
-rw-r--r--.github/workflows/mirror.yml6
1 files changed, 5 insertions, 1 deletions
diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml
index 046fdd8..15285a5 100644
--- a/.github/workflows/mirror.yml
+++ b/.github/workflows/mirror.yml
@@ -2,6 +2,10 @@ name: Mirror to ARFNET
on: [push]
+env:
+ REMOTE_REPO: arfnet2
+ REMOTE_SERVER: git.arf20.com
+
jobs:
push-mirror:
runs-on: ubuntu-latest
@@ -10,5 +14,5 @@ jobs:
run: git clone https://github.com/${{ github.repository }}
- name: Push to remote repo
- run: cd ${{ github.workspace }} && git push -u https://${{ secrets.MIRROR_USER }}:${{ secrets.MIRROR_PASSWORD }}@git.arf20.com/arfnet2 master
+ run: cd $REMOTE_REPO && git push -u https://${{ secrets.MIRROR_USER }}:${{ secrets.MIRROR_PASSWORD }}@$REMOTE_SERVER/$REMOTE_REPO master