mirror and merge git repositories