GitHub pull requests are not updating

https://www.githubstatus.com/ is all green though, surprise surprise.