> this may entitle all GitHub users to receive a copy of GitHub’s source code under the terms of the AGPL

Given that GitHub’s code runs on their own servers, doesn’t that protect them from needing to provide source code to anybody? I’ve always assumed running GPL code in the data center is fine.