[bloopernova]

And of course my developer teammates are still trying to merge PRs.

I don't care that it works "some of the time"! Don't mess with the repos when the repo host is having seemingly random issues.

[fritzo]

For example: while actions are down, branches can be merged without ci tests passing, even for protected branches. This just happened on one of my repos.