Learn more about these different git repos.
Other Git URLs
580374d
Always use uint32_t for UID/GID numbers