PRs aren’t deploying

Hi folks,

I’ve just noticed that PRs (and probably builds) aren’t deploying.

The build says:

  …
  Unable to get deployment status.
  Unable to get deployment status.
  Unable to get deployment status.
  Unable to get deployment status.
  Too many errors, aborting!
  Error: Failed with status code: 200

This is in a GitHub deploy component, not something we wrote, so I think
it’s probably a transient problem at github.com. But the GitHub status
page is all green so, I dunno.

If it doesn’t fix itself in the next day or so, I’ll try to see if I can
report it somewhere.

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica