[ARVADOS-DEV] updated: 4197c8b8bf40d546271ea91e42b950aa33d48a11

[Git user]

Summary of changes:
 jenkins/run-delete-merged-branches.sh | 1 +
 1 file changed, 1 insertion(+)

       via  4197c8b8bf40d546271ea91e42b950aa33d48a11 (commit)
      from  ac0a28165e30c658931126aa92262aee32c52691 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit 4197c8b8bf40d546271ea91e42b950aa33d48a11
Author: Ward Vandewege <ward at curii.com>
Date:   Wed Aug 19 19:43:27 2020 -0400

    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 at curii.com>

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})\$" | \

-----------------------------------------------------------------------


hooks/post-receive
--