3 ms·I checked. They're .github.com. Dunno why I was downvoted, I was right.by Harkins 18y agoI checked. They're .github.com. Dunno why I was downvoted, I was right.defunkt 18y agoSee my other comment.