do not set remote head

Deltares · Oct 9, 2024 · ecdc037 · ecdc037
1 parent a3d3f10
commit ecdc037
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/scripts/manage_docker_image.sh b/scripts/manage_docker_image.sh
@@ -204,7 +204,6 @@ function get_default_branch_name() {
   local repo_path="$1"
   git -C ${repo_path} fetch --depth=10000
   git -C ${repo_path} fetch --all
-  git -C ${repo_path} remote set-head origin --auto
   echo $(
     git -C "${repo_path}" symbolic-ref refs/remotes/origin/HEAD |
       sed 's@^refs/remotes/origin/@@'
@@ -215,7 +214,6 @@ function get_parent_branch_name() {
   local repo_path="$1"
   git -C ${repo_path} fetch --depth=10000
   git -C ${repo_path} fetch --all
-  git -C ${repo_path} remote set-head origin --auto
   echo $(
     git -C ${repo_path} show-branch |
       grep '\*' |