[python-committers] Guide to pushing to submitters' repo?

[Nick Coghlan]

On 25 May 2017 at 18:01, Antoine Pitrou <antoine at python.org> wrote:
> Did someone manage to make this work?  Can they post the entire
> instructions they used? (including local branch setup)

The minimal set of instructions some of us worked out are at
https://docs.python.org/devguide/gitbootcamp.html#editing-a-pull-request-prior-to-merging
(the initial draft was longer, but patch review found a few
opportunities for simplification)

However, that can still fail if the submitter hasn't checked the
"Allow edits by maintainers" option on their PR.

Cheers,
Nick.

P.S. the "git pr" alias mentioned there is detailed a few entries
earlier in the cheat sheet

-- 
Nick Coghlan   |   ncoghlan at gmail.com   |   Brisbane, Australia