Skip to content

Commit 3e41e7b

Browse files
committed
Actions (Tangled Mirror): Properly add and use tangled remote
1 parent f5391d8 commit 3e41e7b

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

.github/workflows/tangled-mirror.yml

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,14 +23,17 @@ jobs:
2323
- name: Checkout Repo
2424
run: git clone --mirror ${{ github.repositoryUrl }}
2525

26+
- name: Add Tangled Remote
27+
run: git remote add tangled $TANGLED_REPO_URL
28+
2629
- name: Decode SSH key
2730
run: echo $TANGLED_SSH_KEY | base64 --decode "$RUNNER_TEMP/ssh.key"
2831

2932
- name: Push Repo to Mirror
3033
run: |
3134
eval `ssh-agent`
3235
ssh-add "$RUNNER_TEMP/ssh.key"
33-
git push --all --force --mirror $TANGLED_REPO_URL
36+
git push --mirror --force tangled
3437
3538
- name: Cleanup
3639
run: rm "$RUNNER_TEMP/ssh.key"

0 commit comments

Comments
 (0)