Apparently "Joseph" deleted his comment (very un-git-like of GitHub to make deleting a comment without a trace so easy). I checked all the other participants above where "Joseph" posted and found a Dan, but no Joseph.
So, if @pirtlj said that in response to Linus's first comment, then he was way out of line, and something should have been said. Maybe Linus didn't say the exact right thing, but I doubt I would have been able to say much better. Hopefully @pirtlj learned more than that he shouldn't have said anything (although even that would be a good thing, I think)
Joseph said something snarky along the lines of "Oh I'm Linus Torvalds, I'm always right" -- I think Linus was overreacting, but he was at least a little justified. He seems to get very angry when people state anything more than what's based on "facts."
