Provides team GitHub activity insights including merged PRs, contributor
leaderboards, merge velocity, review participation, and PR size analysis.
Use when users ask about team productivity, who merged PRs, code contribution
stats, review patterns, or developer activity.