Addressing GitHub's recent availability issues

More recently:

An update on GitHub availability

This is pretty old (March 11). Doesn’t address that critical merge queue issue

Oh a colleague sent it to me and I misread is as "May 11" so I thought it was from today - my bad.

I'm personally addressing it by getting ready to migrate to codeberg.