Message289363
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). |
|
Date |
User |
Action |
Args |
2017-03-10 14:20:09 | steve.dower | set | recipients:
+ steve.dower, paul.moore, ncoghlan, tim.golden, python-dev, eric.frederich, zach.ware |
2017-03-10 14:20:09 | steve.dower | set | messageid: <1489155609.22.0.0405588012027.issue29319@psf.upfronthosting.co.za> |
2017-03-10 14:20:09 | steve.dower | link | issue29319 messages |
2017-03-10 14:20:09 | steve.dower | create | |
|