Learn more about these different git repos.
Other Git URLs
41a327a
TOOLS: Do not leak pid_file handle on error Coverity 11032