Re: master has switched from Automake to GNU Make

[Stefan Monnier]

>>> + 917ce99...5aa9a80 scratch/record -> origin/scratch/record  (forced update)
>>> Couldn't we recommend that people don't use forced pushes - even on
>>> scratch branches?
>> Why?
> It's distracting for people like me who don't understand git.  Today it
> confused me enough that I messed up the ChangeLog of my commit and did
> not notice it before pushing.

Hmmm... I can't see how that could happen if you don't actually use that
branch, so I guess you've merged from that branch and tried to re-merge?

> Also reading about it on the net is not very reassuring either.
> But if you think that it's essential I'll have to get used to it.

It's not essential, but some people like to keep branches as a clean set
of patches on top of master, so they regularly rebase (and reorganize
the set of patches), so in the end it doesn't give you the path that was
followed to get there (which, while historically accurate, tends to be
messy and hard to follow) but only "a nice path to get there", which is
basically a single patch divided into a few commented logical steps.


        Stefan