GitHub moves its busiest repos to Azure by locking per branch, not per repo, as agent pushes surge
In an Oct 21 engineering post, GitHub says it's changing its write quorum from the whole repository to individual references, so agents and developers pushing to their own branches no longer queue behind each other, which removes the 25ms round-trip penalty that kept its busiest repos out of Azure. GitHub says pushes grew 4.9x year over year to 3.35 billion a month (earlier post).
