FYI GitHub is having issues today. It's severe enough that it's blocking my
ability to validate PRs.  I'm sure it will be resolved soon, but it might
be a good day to read a few papers ;-).

https://status.github.com/messages

-Kellen

Reply via email to