40 Prozent aller Pull Requests starten mit einem Agenten – im März waren es noch 17 Prozent 28. Oktober 2026