platform/tools/ - Git at Google