Look, we all intuitively get that it's a bad idea and it is definitely funny. But honestly is it helping to make fun of the poor user rather than educate them as to why their password is on the list and the importance of secure password practices? The security community I grew up with was welcoming and understanding, and it sparked an interest I never would have realized otherwise.
The user has a large number of GitHub commits and the technical knowledge needed to create a pull request probably exceeds the knowledge needed to know why this doesn't work... I feel comfortable assuming the original PR is a joke.
[0]: http://blog.assafnativ.com/2014/03/the-making-of-kosher-phon...