GitHub says agents now start over 40% of pull requests, up from 17% in March · Sorted AI