Learn more about these different git repos.
Other Git URLs
3c0a6c0
- handle PRTime values correctly so that we don't truncate them to 32 bits on 32-bit systems