Learn more about these different git repos.
Other Git URLs
78fd122
Don't leak file pointers on exit (static analysis)