I'm well used to the old-school patch way of life, so that's fine to me. :-) I just saw an opportunity to try out a new and slightly more modern workflow. In this case, I think you can extract the patch from the pull request, but I'll send future patches as, well, patches. :)