We need a `git pull` after switching to the master branch, to make sure we see

the complete lists of branches.

No issue #

Arvados-DCO-1.1-Signed-off-by: Ward Vandewege <ward@curii.com>

diff --git a/jenkins/run-delete-merged-branches.sh b/jenkins/run-delete-merged-branches.sh
index 361d9bb4a20fe50e6af171b9c521573eb0b54c22..c2ecacb92201e809d5b221de59d189b73ee4bd1e 100755 (executable)
--- a/jenkins/run-delete-merged-branches.sh
+++ b/jenkins/run-delete-merged-branches.sh
@@ -24,6 +24,7 @@ branches_to_keep="master|main|integration|dev|staging|.*\-dev"
 
 git remote update --prune
 git checkout master
+git pull
 
 git branch --remote --merged | \
     egrep -v "/(${branches_to_keep})\$" | \