Fix syntax for push command

code0-tech · Dec 18, 2023 · 06d63ca · 06d63ca
1 parent 8edf960
commit 06d63ca
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml
@@ -14,5 +14,6 @@ jobs:
       - run: >-
           git
           -c credential.helper='!f() { sleep 1; echo "username=${{ secrets.GL_API_USER }}"; echo "password=${{ secrets.GL_API_TOKEN }}"; }; f'
+          push
           -o ci.skip
-          push gitlab HEAD:build-branch
+          gitlab HEAD:build-branch