Thanks for clarifying. I learned something. I guess it might be more accurate for me to think about pull requests as Github's reification of the social protoco

Thanks for clarifying. I learned something. I guess it might be more accurate for me to think about pull requests as Github's reification of the social protocol of pulling among kernel developers.