(Oops, I wrote privately to Brett, so he replied me in private. So here is a copy of our emails.)
Brett Cannon via gmail.com On Tue, 7 Feb 2017 at 13:42 Victor Stinner <victor.stin...@gmail.com> wrote: > > If I push a patch file written by someone else, should I try to use the > author full name + email? I'm sure the patch author would appreciate it, but I don't think we need to require it as we have gone this long without it. > Currently, it requires some tricks to get these informations (the email is > partially hidden in the big tracker user list). Or are we moving slowly to > GitHub pull requests only? I hope we're moving quickly and not slowly. :) > Maybe the simplest option is to ask these informations to the author :-) I suspect if the patch author is still active you could ask them to make their patch into a PR and that will solve this problem. -Brett _______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
