One engineering leader's GitHub data shows AI agents raised the workload · Sorted AI