> In recent versions of Git you can add multiple pushurls for a given remote Woah, that's really cool, didn't know about that. This is really useful! Thanks fo

> In recent versions of Git you can add multiple pushurls for a given remote Woah, that's really cool, didn't know about that. This is really useful! Thanks for sharing that.