Large-Scale Study of GitHub Pull Requests: How AI Coding Agents Modify Code | Dark Hacker News