Curious - if you measured any quality side of this? not just PRs and velocity. Some of the tradeoffs like Github are not really related to AI capabilities, isn't it?