Re:Tell HN: GitHub will delete your private repo if you lose...
by capableweb on Tuesday January 31, 2023 @05:35PM
(#34603337)
> 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.
https://stackoverflow.com/a/14290145