AGPL says nothing about pushing code to repos.