projects
/
arvados-dev.git
/ history
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Merge branch '9050-script-to-delete-merged-branches'
[arvados-dev.git]
/
jenkins
/
run-delete-merged-branches.sh
2017-02-01
Javier Bértoli
Merge branch '9050-script-to-delete-merged-branches'
blob
|
commitdiff
|
raw
2017-01-19
Javier Bértoli
Add script to delete merged branches
blob
|
commitdiff
|
raw
projects / arvados-dev.git / history