[Python-Dev] Helping contributors with chores (do we have to?)
Tim Delaney
timothy.c.delaney at gmail.com
Sun Jun 25 18:22:34 EDT 2017
On 26 June 2017 at 08:20, Tim Delaney <timothy.c.delaney at gmail.com> wrote:
>
> 2. Last I checked hggit can't force-push to a git repository after
> history-modifying actions (e.g. rebase) so after such actions it's
> necessary to delete any existing branch in a local git repo, hg push to
> that then force-push to Github. This wnew branch head.
>
Not sure what happened there - that last line should have been:
This will update any PR for that branch to the new branch head.
Tim Delaney
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-dev/attachments/20170626/228d5b62/attachment.html>
More information about the Python-Dev
mailing list