Merge branch '8497-datamanager-batchsize-1000' of https://github.com/wtsi-hgi/arvados...
[arvados.git] / tools / crunchstat-summary / gittaggers.py
1 ../../sdk/python/gittaggers.py