3 ms·
The way I see it, the choice is pretty risk-free. I currently mirror repos on repo.or.cz (the original git host), codeberg.org, tildegit.org and sr.ht. (Feel fr
by akkartik 5y ago
The way I see it, the choice is pretty risk-free. I currently mirror repos on repo.or.cz (the original git host), codeberg.org, tildegit.org and sr.ht. (Feel free to suggest more!) I use pushurl extensively to transparently keep them all in sync: https://stackoverflow.com/questions/14290113/git-pushing-code-to-two-remotes/14290145#14290145 https://stackoverflow.com/questions/14290113/git-pushing-cod...
Over time it'll become clear if some are unreliable or have other issues. When that happens you'll be glad for the diversification.
This whole evolution reminds me of the early web, which was often a thin veneer for multiple ftp mirror sites. This makes me happy :)