AI agents are now involved in ~14% of GitHub pull requests | Hacker News Reader