I wonder if this could create circular downtime: if Codespaces goes down, how can Github engineers work to restore service to Codespaces? The tool to fix the b

I wonder if this could create circular downtime: if Codespaces goes down, how can Github engineers work to restore service to Codespaces? The tool to fix the broken tool is the broken tool.