set remote head

Deltares · Oct 8, 2024 · c65ddc2 · c65ddc2
1 parent c901442
commit c65ddc2
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/scripts/manage_docker_image.sh b/scripts/manage_docker_image.sh
@@ -202,6 +202,7 @@ function docker_pull() {
 
 function get_default_branch_name() {
   local repo_path="$1"
+  git remote set-head origin --auto
   echo $(
     git -C "${repo_path}" symbolic-ref refs/remotes/origin/HEAD |
       sed 's@^refs/remotes/origin/@@'
@@ -210,6 +211,7 @@ function get_default_branch_name() {
 
 function get_parent_branch_name() {
   local repo_path="$1"
+  git remote set-head origin --auto
   echo $(
     git -C ${repo_path} show-branch |
       grep '\*' |