Use git-subrepo for the tools/ directory#1466

vector-of-bool wants to merge 3 commits intomongodb:mastermongodb/mongo-c-driver:masterfrom

vector-of-bool:subrepo-toolsvector-of-bool/mongo-c-driver:subrepo-toolsCopy head branch name to clipboard