diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml index a0432e3224..2b7aa27c0b 100644 --- a/.github/workflows/mirror.yml +++ b/.github/workflows/mirror.yml @@ -44,4 +44,4 @@ jobs: git config --global user.email "actions@github.com" git remote add mirror https://$MIRROR_USERNAME:$MIRROR_AUTH@$MIRROR_URL - git push --mirror -v mirror + git push --mirror -v mirror || true