I guess he felt that others besides the troll were having a laugh at his expense, (i.e., the HN Tips guys comments, other penis-oriented repos connected to employees of aforementioned companies) and were, if only indirectly, in on the joke.
Yep, that's what people seem to gloss over when they think I just overreacted. I knew for a fact that several Ruby people considered this hilarious, and that one or more of them worked at github. In that situation, it's either I leave silently (which everyone thinks I should have done), or bring the issue up and make sure everyone knows what's going on. I prefer the latter because it at least lets others come behind me and avoid the problem.
Thankfully, they've fixed the problem now and I don't have to worry about it anymore.
You and others which may have been trolled before and did not "make a fuss". I see many here with a bully mentality, saying that one should just keep their head down and endure the trolls crap and they will go away. Except they won't.