[rgibert]

You can setup git push to push to multiple repos.

git remote set-url --add origin ...