Comment by skydhash

I've been impacted once: An action that failed to start (a PR check), then the merge button on that PR having no effect. Thankfully there was no urgency. It's a bit distressing because GitHub is kinda the engineering hub of the companies. We do have copies of the codebase on our computers and can launch build from there, but we have a process for a reason, and bypassing it is hacky.