18995: Merge branch 'main' into 18995-code-cleanup-1
[arvados.git] / tools / sync-groups /
2017-12-05 Ward VandewegeRename the group sync tool to follow our standard namin...