[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