Deploy GitHub Pages on push
Publishes /docs to GitHub Pages.
Generate People Page weekly
Builds data/people.json from /contributors.
Generate Mentors Page weekly
Builds data/mentors.json from /mentors.
Generate Contributor Badges weekly
Creates rank-colored SVG badges and injects into contributor profiles.
Update Hall of Fame monthly
Rebuilds docs/hall-of-fame.html from data/leaderboard.csv.
