Stats of GitHub PRs opened/merged by LLM agents #1 Post by aargh_aargh » Thu, Oct 02, 2025, 11:48 AM UTC Stats of GitHub PRs opened/merged by LLM agentssimonwillison.net