function cloneRepo()

in tools/build-docs.js [69:76]


function cloneRepo(repo, branch, targetPath) {
  console.log(
    `  ---> Start clone repository ${repo} branch ${branch} to directory ${targetPath}`
  );
  child_process.execSync(
    `git clone --depth 1 --branch ${branch} ${repo} ${targetPath}`
  );
}