On Mon, Dec 04, 2017 at 04:44:00PM +0100, Gábor Boskovits wrote:
> Now that this problem around glibc is resolved, I think I will do some
> history rewrite, so that these reverts, reverting the revert.... does not
> show up.
> I 'm also willing to rename the branch to have wip in the name, as this
> seems to be standard for longer runnig parts. WDYT?

In general, we don't rewrite history of any public branches on our
Savannah instance, except for branches whose name starts with "wip-".
That, is "work in progress".

But of course we can all follow our own rules on our own Git servers :)