Learn more about these different git repos.
Other Git URLs
55ad106
- flush the pid file to disk, since we're keeping it open