Now how do I get a critical fix from a coworker when the server is down.
Set your coworker as your origin and pull.
a new competitor will come and replace them (possibly Sourceforge, if they manage to continue with the same enthusiasm they've started with recently, and manage to turn that enthusiasm in to their product)
SourceForge's death spiral hits me right in the feels as much as any other Slashdotter, but I am pretty convinced that new competitor which will dethrone GitHub will be GitLab. Basically the same product, but open source. Similar monetization model for enterprise use. That's who I'm rooting for these days.
Sorry SourceForge. You had your chance.
If you think the system is working, ask someone who's waiting for a prompt.