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
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4