GitHub.com is down for a scheduled database upgrade. We expect to be back in 15 minutes. - https://twitter.com/githubstatus/status/579251333917716480