Make sure we don't accidentally delete our release branches.
authorWard Vandewege <ward@curii.com>
Wed, 19 Aug 2020 23:30:28 +0000 (19:30 -0400)
committerWard Vandewege <ward@curii.com>
Wed, 19 Aug 2020 23:30:28 +0000 (19:30 -0400)
commitac0a28165e30c658931126aa92262aee32c52691
tree817a0ff6044998735f6d5802c1bbc62ec1cfa5df
parent4c0df68911f259222951180296698bf4e8e5840f
Make sure we don't accidentally delete our release branches.

No issue #

Arvados-DCO-1.1-Signed-off-by: Ward Vandewege <ward@curii.com>
jenkins/run-delete-merged-branches.sh