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).<p>Heroku is reporting an "elevated error rates on GitHub sync." https://status.heroku.com/incidents/1027