diff --git a/.github/workflows/tangled-mirror.yml b/.github/workflows/tangled-mirror.yml new file mode 100644 index 0000000..f3aed92 --- /dev/null +++ b/.github/workflows/tangled-mirror.yml @@ -0,0 +1,32 @@ +name: Mirror to Tangled + +on: + push: + branches: [main] + +jobs: + mirror: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + with: + fetch-depth: 0 + + - name: Configure SSH + run: | + mkdir -p ~/.ssh + echo "${{ secrets.TANGLED_SSH_KEY }}" > ~/.ssh/tangled + chmod 600 ~/.ssh/tangled + cat >> ~/.ssh/config <