Seems like their background workers were down too. My colleague sent a pull request before the went down and got the notification just a few minutes ago.