The state of GitHub in 2025: AI leads TypeScript to #1