git itself can push to multiple URLs btw:
https://stackoverflow.com/questions/849308/how-can-i-pull-pu...