projects
/
arvados-dev.git
/ blobdiff
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Merge branch '19092-upload-crunchstat_summary-to-pypi'
[arvados-dev.git]
/
jenkins
/
run-delete-merged-branches.sh
diff --git
a/jenkins/run-delete-merged-branches.sh
b/jenkins/run-delete-merged-branches.sh
index c2ecacb92201e809d5b221de59d189b73ee4bd1e..fdab8e6ace47e3d202e4a52fba6b3c10b76d1129 100755
(executable)
--- a/
jenkins/run-delete-merged-branches.sh
+++ b/
jenkins/run-delete-merged-branches.sh
@@
-23,7
+23,7
@@
trap '_exit_handler $LINENO' EXIT ERR
branches_to_keep="master|main|integration|dev|staging|.*\-dev"
git remote update --prune
-git checkout ma
ster
+git checkout ma
in
git pull
git branch --remote --merged | \