[ARVADOS-DEV] updated: f5c8b1387ccfc27a465f88b93c58276058e0e91b

[Git user]

Summary of changes:
 jenkins/run-delete-merged-branches.sh | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100755 jenkins/run-delete-merged-branches.sh

       via  f5c8b1387ccfc27a465f88b93c58276058e0e91b (commit)
       via  6c00c1f481e97eaaa0c5cf9b39f50de4a896d37e (commit)
      from  51d325fa1f10ce1fb39805460194698b86bd2615 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit f5c8b1387ccfc27a465f88b93c58276058e0e91b
Merge: 51d325f 6c00c1f
Author: Javier Bértoli <javier at curoverse.com>
Date:   Wed Feb 1 11:59:12 2017 -0300

    Merge branch '9050-script-to-delete-merged-branches'
    
    refs #9050


-----------------------------------------------------------------------


hooks/post-receive
--