Re: [Savannah-users] Anonymous commit (empty Author and Committer)

From: Kaz Kylheku <kaz@kylheku.com>
Date: Nov 2, 2015, 16:37 UTC
Message-ID: <4da05191ce7780bed3a0e00f25b09bc9@mail.kylheku.com>
In-Reply-To: <20151102151123.GF21923@csclub.uwaterloo.ca>

On 02.11.2015 07:11, Lennart Sorensen wrote:

Show 14 quoted lines

> On Sat, Oct 31, 2015 at 08:24:06AM +0300, Andrei Borzenkov wrote:
>> If we decide to fix this commit it is better done now, while it is the 
>> last
>> one. It is annoying but do you have suggestion how it can be done
>> differently?
> 
> Well the only options are:
> 
> 1) Leave it alone
> 2) Break the tree of anyone that already pulled.  (Posting instructions 
> on
> how to fix it would at least be nice then).
> 
> Not sure how many people regularly pull the tree.

This is silly FUD. There is no ever any "broken tree".

Firstly, people who have no local changes do not experience any ill effect. They just have to do

   $ git fetch

   # oops, upstream and local branch have diverged
   # but I have absolutely no local work to preserve;
   # just "warp" HEAD to the new one:

   $ git reset --hard origin/master

   # done!

Those who have outstanding local work never have any expectation of non-breakage! *All* fetches are "non-fast-forward" with regard to unpublished local work, because they occur to a prior version of the work, underneath your changes.

In *all* cases you can do this:

   # Fast-forward or not, I don't care!
   $ git fetch

   # Take my 13 unpublished commits (or whatever number), rebase them 
over the
   # latest upstream master, and make the result my local master branch:

   $ git rebase HEAD~13 --onto origin/master