GitHub API is having trouble

https://status.github.com/ is reporting a drop in server availability (though at 8:54 UTC it's still green and public website seems OK).

Heroku is reporting an "elevated error rates on GitHub sync." https://status.heroku.com/incidents/1027