> On Jun 25, 2017, at 1:02 PM, Nathaniel Smith <njs at pobox.com> wrote: > > 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 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. — Donald Stufft -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.python.org/pipermail/python-dev/attachments/20170625/2140fba4/attachment.html>
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