From 2ee80918a064cd205f8c2ecb084ff2316d6482c7 Mon Sep 17 00:00:00 2001
From: Arthur Meyre <arthur.meyre@zama.ai>
Date: Mon, 23 Mar 2026 14:04:45 +0100
Subject: [PATCH] chore: fix workflow to fetch refs

- make sure script use usr/bin/env to know which bash to use
---
 .github/workflows/sync_on_push.yml | 5 +----
 scripts/lfs_sync.sh                | 2 +-
 2 files changed, 2 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/sync_on_push.yml b/.github/workflows/sync_on_push.yml
index 4dc469475..30bac0beb 100644
--- a/.github/workflows/sync_on_push.yml
+++ b/.github/workflows/sync_on_push.yml
@@ -36,10 +36,7 @@ jobs:
           git remote add destination "https://${USERNAME}:${TOKEN}@github.com/${DEST_REPO}.git"
 
           echo ">>> Fetching all branches references down locally so subsequent commands can see them..."
-          git fetch source '+refs/heads/*:refs/heads/*' --update-head-ok
-
-          echo ">>> Print out all branches"
-          git --no-pager branch -a -vv
+          git fetch --all --tags --update-head-ok --quiet
 
           echo ">>> Sync LFS items from source..."
           ./scripts/lfs_sync.sh source destination "${SOURCE_BRANCH}"
diff --git a/scripts/lfs_sync.sh b/scripts/lfs_sync.sh
index 59ae27c24..fb6272d06 100755
--- a/scripts/lfs_sync.sh
+++ b/scripts/lfs_sync.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # This script tries to:
 # List all LFS references in a source remote on the given target branch and all tags