From 4197c8b8bf40d546271ea91e42b950aa33d48a11 Mon Sep 17 00:00:00 2001 From: Ward Vandewege Date: Wed, 19 Aug 2020 19:43:27 -0400 Subject: [PATCH] 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 --- jenkins/run-delete-merged-branches.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/jenkins/run-delete-merged-branches.sh b/jenkins/run-delete-merged-branches.sh index 361d9bb..c2ecacb 100755 --- 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})\$" | \ -- 2.30.2