github hosed tonight

[Ken Cunningham]

In case you haven’t noticed, github is hosed tonight. There is info on the 
github server status page (google “github status”).

Ken