For those who might not be aware: It's possible to configure your .git config to push to different remotes.