diff options
author | arf20 <aruizfernandez05@gmail.com> | 2024-09-01 04:13:16 +0200 |
---|---|---|
committer | arf20 <aruizfernandez05@gmail.com> | 2024-09-01 04:13:16 +0200 |
commit | 62aed9d7d469da4af32e9fddc4d7d142de4e0ecd (patch) | |
tree | 0ed219364ad738190a424d7d5e0906fb0e973b3c /.github/workflows | |
parent | 9822b14153f96cf877f9c1c2a573e74a557500bb (diff) | |
download | arfnet2-62aed9d7d469da4af32e9fddc4d7d142de4e0ecd.tar.gz arfnet2-62aed9d7d469da4af32e9fddc4d7d142de4e0ecd.zip |
Forgot to remove github CI workflow, and minor stuff
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 15285a5..0000000 --- a/.github/workflows/mirror.yml +++ /dev/null @@ -1,18 +0,0 @@ -name: Mirror to ARFNET - -on: [push] - -env: - REMOTE_REPO: arfnet2 - 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 - |