Try to fix mirror

authgear · Jan 24, 2025 · e1e0f8f · e1e0f8f
1 parent 4aa2bb0
commit e1e0f8f
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/mirror.yaml b/.github/workflows/mirror.yaml
@@ -24,10 +24,8 @@ jobs:
     - name: Mirror
       run: |
         export GIT_SSH_COMMAND="ssh -v -i ~/.ssh/id_ed25519"
-        git remote add mirror [email protected]:oursky/authgear-server.git
-        git push --tags --force --prune mirror "refs/remotes/origin/*:refs/heads/*"
+        git show-ref | awk '{ print $2 }' | perl -n -e 'if (/(^refs\/remotes\/origin\/(.+)$)/ ) { if ($2 != "HEAD") {  print "$1:refs/heads/$2\n" } }' | xargs -x git push --tags --force --prune "[email protected]:oursky/authgear-server.git"
     - name: Clean up
       if: ${{ always() }}
       run: |
         rm -f ~/.ssh/id_ed25519
-        git remote remove mirror