Added comment about how public GitHub repos are discovered.