On 26 June 2017 at 08:20, Tim Delaney <timothy.c.dela...@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
_______________________________________________ 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
