Whether-or-not there should be more alternatives (and there are, like gitlab, savannah.nongnu.org, and such), I don’t think that GitHub being down is a good thing.
There are a lot of open-source projects for which it is the authoritative repository. Okay, granted, there are probably cloned copies of most of that, but there’s a lot of stuff that uses it; it’s disruptive.
And it’s the only source for issue-tracking for a number of those projects hosted there. Like, there are people who are trying to fix problems. This disrupts them.
Whether-or-not there should be more alternatives (and there are, like gitlab, savannah.nongnu.org, and such), I don’t think that GitHub being down is a good thing.
There are a lot of open-source projects for which it is the authoritative repository. Okay, granted, there are probably cloned copies of most of that, but there’s a lot of stuff that uses it; it’s disruptive.
And it’s the only source for issue-tracking for a number of those projects hosted there. Like, there are people who are trying to fix problems. This disrupts them.