Comment by throwaway2016a

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.