Earlier quoted context omitted.
If Github is down, thousands of programmers suddenly have nothing better to do.
I rolled my eyes twice, then merged a few PRs manually and moved on with my day. (i.e. the git server itself and all the API required to interact with the CI automation _appears_ to work just fine)
$ git push
Enumerating objects: 26, done.
Counting objects: 100% (26/26), done.
Delta compression using up to 8 threads
Compressing objects: 100% (15/15), done.
Writing objects: 100% (15/15), 1.49 KiB | 1.49 MiB/s, done.
Total 15 (delta 12), reused 0 (delta 0)
remote: Resolving deltas: 100% (12/12), completed with 10 local objects.
remote: Internal Server Error
To git+ssh://github.com//
! [remote failure] wip -> wip (remote failed to report status)
error: failed to push some refs to 'git+ssh://git@github.com//'