Learn more about these different git repos.
Other Git URLs
2865f24
avoid using encode_int in some of the client code