We use local, read-only mirrors at our development sites around the globe. When a repo is cloned from a mirror, the first step is to set the git push-url to the primary server. It would be much better if this could be done during the repo creation phase. It would need to be in the repo section (not additional behaviors) as more than one repo might be involved in a build..