Re: Should we restore manually maintained ChangeLogs

[Eli Zaretskii]

> From: Andreas Schwab <address@hidden>
> Cc: address@hidden
> Date: Thu, 10 Mar 2016 10:05:06 +0100
> 
> git replace should be transparent most of the time (except for some
> plumbing like git cat-file, and you can ignore replacements with
> --no-replace-objects).  But note that they are stored in a different
> namespace that is not pulled by default.

Does "pull --all" solve that?

More generally, can we put something in .git/config that would cause
that namespace to be pulled by default?