Separate git clone flags

dodona-edu · Nov 5, 2024 · 0001991 · 0001991
1 parent afa8187
commit 0001991
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/push_docker_image.yml b/.github/workflows/push_docker_image.yml
@@ -35,7 +35,7 @@ jobs:
           # Authorize GitHub CLI for the current repository
           gh auth login --with-token < token.txt
           
-          gh repo clone $REPOSITORY $FOLDER --depth=1
+          gh repo clone $REPOSITORY $FOLDER -- --depth=1
           
           cd $FOLDER