Hacker News new | ask | show | jobs
by wsgolfer 2527 days ago
git natively supports having multiple pushurls per remote[1], so you should be able to do this OOTB

[1] https://stackoverflow.com/a/14290145