[Python-Dev] Helping contributors with chores (do we have to?) (original) (raw)
Tim Delaney timothy.c.delaney at gmail.com
Sun Jun 25 18:22:34 EDT 2017
- Previous message (by thread): [Python-Dev] Helping contributors with chores (do we have to?)
- Next message (by thread): [Python-Dev] Helping contributors with chores (do we have to?)
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
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>
- Previous message (by thread): [Python-Dev] Helping contributors with chores (do we have to?)
- Next message (by thread): [Python-Dev] Helping contributors with chores (do we have to?)
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]