> On Jun 25, 2017, at 1:02 PM, Nathaniel Smith <n...@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
_______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
