-- SELECT count(distinct repo_name) FROM github_events