[Python-Dev] Helping contributors with chores (do we have to?)
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Python-Dev