[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: How to update a remote branch (remotes/origin/dev/guile-v2-work)

From: Thomas Morley
Subject: Re: How to update a remote branch (remotes/origin/dev/guile-v2-work)
Date: Fri, 8 Jun 2018 00:40:46 +0200

2018-06-08 0:36 GMT+02:00 David Kastrup <address@hidden>:
> Thomas Morley <address@hidden> writes:
>> One additional question: If I want to add something to the then
>> updated branch, would
>> $ git push origin HEAD:dev/guile-v2-work
>> work or would I need to follow the route you described above?
> As long as you don't rebase, your followup work is a descendant of the
> previous work and can be pushed without deletion.
> --
> David Kastrup

I'll check for `make doc' tomorrow and, if successful, will push the
rebased branch afterwards.

Thanks again,

reply via email to

[Prev in Thread] Current Thread [Next in Thread]