Public GitHub facts: repo stats with latest release, a user/org profile, or a star-ranked repo search