ort-server-credential-helper The tool to provide credentials to the external tools like GIT or Bazel, used by ORT server workers