What is We scored 50k PRs with AI?