GitHub mirror out of sync

[Edward Lopez-Acosta]

Some ports are missing from the GitHub mirror. At least the one I noticed is 
security/py-crypto.

How often does this mirror sync normally?

Thank you.
-- 
Sent from my mobile device. Please excuse my brevity and formatting issues.