[d_sc]

Agree. Different GitHub’s services go down frequently enough that I don’t think much of it. Thought this article would have something more to it other than it went down for a few minutes.