Steve Dower added the comment: That will work fine. Thanks for checking
The process for pulling someone's PR into your own repo is roughly branch then pull from the repo sending the PR. Github should show instructions for this under m hidden behind a "merge manually" button (though you want to skip the final push that would complete the merge, obviously). ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue29319> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
