From 62aed9d7d469da4af32e9fddc4d7d142de4e0ecd Mon Sep 17 00:00:00 2001 From: arf20 Date: Sun, 1 Sep 2024 04:13:16 +0200 Subject: Forgot to remove github CI workflow, and minor stuff --- .github/workflows/mirror.yml | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 .github/workflows/mirror.yml (limited to '.github') 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 - -- cgit v1.2.3