@0xabad1dea Thank goodness GitHub is just a popular code repository, and not something anyone would treat as an essential piece of infrastructure in their software provisioning, integration, distribution or whatever process.