X-Git-Url: https://git.arvados.org/arvados-dev.git/blobdiff_plain/f5c8b1387ccfc27a465f88b93c58276058e0e91b..7825bb3984a2010f047bf1cd0e6ea0a9be8c0316:/jenkins/run-delete-merged-branches.sh

diff --git a/jenkins/run-delete-merged-branches.sh b/jenkins/run-delete-merged-branches.sh
index 179d482..175b144 100755
--- a/jenkins/run-delete-merged-branches.sh
+++ b/jenkins/run-delete-merged-branches.sh
@@ -1,4 +1,8 @@
-#!/usr/bin/env bash
+#!/bin/bash -x
+
+# Copyright (C) The Arvados Authors. All rights reserved.
+#
+# SPDX-License-Identifier: AGPL-3.0
 
 # Provide generic exit strategy for any error in execution
 _exit_handler() {
@@ -18,6 +22,7 @@ trap '_exit_handler $LINENO' EXIT ERR
 # IE: "keep_this_branch|also_this_other|and_this_one"
 branches_to_keep="master"
 
+git remote update --prune
 git checkout master
 
 git branch --remote --merged | \