[Python-Dev] Helping contributors with chores (do we have to?) (original) (raw)
Stefan Krah stefan at bytereef.org
Sun Jun 25 14:38:51 EDT 2017
- Previous message (by thread): [Python-Dev] Helping contributors with chores (do we have to?)
- Next message (by thread): [Python-Dev] Helping contributors with chores (do we have to?)
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
On Sun, Jun 25, 2017 at 10:02:44AM -0700, Nathaniel Smith wrote:
https://help.github.com/articles/committing-changes-to-a-pull-request-branch-created-from-a-fork/
However, like Antoine, when I've tried to do this then all I've managed is to get obscure errors from GitHub. Did I have the wrong incantations? Was the permissions toggle set wrong? (I thought the web ui said it wasn't, but maybe I misunderstood.) It's a mystery. Has anyone figured out how to make this work reliably or ergonomically?
I don't know either. Adding .patch to the PR URL, downloading the thing, editing as necessary and crediting the author in the commit message would be much much faster.
Stefan Krah
- Previous message (by thread): [Python-Dev] Helping contributors with chores (do we have to?)
- Next message (by thread): [Python-Dev] Helping contributors with chores (do we have to?)
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]