Why your pull request might not be merged

I agree - if you are going to invest non-negligible time and effort into submitting a pull request on somebody else's project, ask whether your change is wanted.