On 26 June 2017 at 07:39, Paul Moore <[email protected]> wrote: > On 25 June 2017 at 18:31, Donald Stufft <[email protected]> wrote: >> >> I have used it. I don’t use it every day but I’ve never had it fail on me >> unless the contributor has unchecked the flag. I just ``git remote add >> <github username> <github url>`` then checkout their branch, add more >> commits, and push to their branch. > > That's relatively simple, but not immediately obvious (at least to me).
This seems like a good point to remind folks that we have a "Git Bootcamp and Cheat Sheet" as part of the developer guide: https://docs.python.org/devguide/gitbootcamp.html PR editing is one of the topics covered: https://docs.python.org/devguide/gitbootcamp.html#editing-a-pull-request-prior-to-merging However, many of us editing it tend to be on Linux or Mac OS X (and are often experienced git users as well), so issues and PRs clarifying steps that are currently omitted, platform-specific, or otherwise don't work as advertised are definitely appreciated. Cheers, Nick. -- Nick Coghlan | [email protected] | Brisbane, Australia _______________________________________________ Python-Dev mailing list [email protected] https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
