I don't think that Nick Martini guy is a GitHub employee.
1. I suspect HackerNewsTips is a github employee. I'd also suspect a fellow former PowerSet employee. 2. They are not only in on the joke (from their Ruby connections), but like the joke, and that's why they don't really fix the problem.
We'll see what's true.