Only since the end of 2025, which is when AI agents got really popular, and also when GitHub moved to Azure. Take your pick of potential causes.