projects / arvados-dev.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b40808) | patch
Make delete script a little more verbose. Update remote branches before deleting
authorJavier Bértoli <javier@curoverse.com>
Thu, 30 Mar 2017 21:27:07 +0000 (18:27 -0300)
committerJavier Bértoli <javier@curoverse.com>
Thu, 30 Mar 2017 22:44:52 +0000 (19:44 -0300)
commit8a1d756a02b0734c95b6ae1a0a99ea8374dcacbe
tree99a40a5173db279a264eb69fcaf659113aae564ftree | snapshot
parent9b40808f26dc7d548a80b6bfa1d726401695779ecommit | diff
Make delete script a little more verbose. Update remote branches before deleting

refs #11020
jenkins/run-delete-merged-branches.sh diff | blob | history