projects / arvados-dev.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 8aca507) | patch
Add script to delete merged branches
authorJavier Bértoli <javier@curoverse.com>
Thu, 19 Jan 2017 20:45:37 +0000 (17:45 -0300)
committerJavier Bértoli <javier@curoverse.com>
Thu, 19 Jan 2017 20:45:37 +0000 (17:45 -0300)
commit6c00c1f481e97eaaa0c5cf9b39f50de4a896d37e
tree468d9e3348575219309254f3805bbc3a86e586eftree | snapshot
parent8aca507cfd8f30ca1db57d34c4dfa050b9652332commit | diff
Add script to delete merged branches

refs #9050
jenkins/run-delete-merged-branches.sh [new file with mode: 0755] blob