From the article: "Over the last several months, the GitHub username with the most merged PRs in Bun's repo is now a Claude Code bot."