Merge branch '8080-arvbox' closes #8080
[arvados.git] / lib / arvbox / docker / gitolite.rc
2016-01-19 Peter AmstutzMerge branch '8080-arvbox' closes #8080