.github/zephyr: de-hardcode the name of the zephyr remote

Fixes issue reported in stable-v2.7 thesofproject#8353 which wants to use our own, downstream Zephyr branch. Signed-off-by: Marc Herbert <[email protected]>
marc-hb · Oct 20, 2023 · 201871b · 201871b
1 parent 9e0f7ee
commit 201871b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/zephyr.yml b/.github/workflows/zephyr.yml
@@ -167,7 +167,7 @@ jobs:
           #     both issues in no time.
 
           cd zephyr
-          git fetch --filter=tree:0 zephyrproject "$rem_rev":_branch_placeholder
+          git fetch --filter=tree:0 "$(git remote |head -n1)" "$rem_rev":_branch_placeholder
           git branch -D _branch_placeholder
 
           set -x