Learn more about these different git repos.
Other Git URLs
09a3324
- truncate the pidfile when we open it