@neil shouldn't be a particularly big deal. I have repos on multiple machines, and you can set multiple push URLs so with one `git push` from your dev machine, it gets pushed to all the repos in one go.