Re: gnulib-tool.py

[Bruno Haible]

Hi Dmitry,

> As for merging into master, I tried to do it, but didn't succeed: git
> complains a lot on whitespaces and similar stuff. I suspect it may be
> caused by custom git hook.

Yes, the custom git hook can emit errors and warnings. The messages about
whitespace are only warnings, as far as I know. The error message(s) must
be different.

> Bruno, Paul, could you help me with merging?

I might help you better if you show the error message(s) you got - and,
obviously, the command sequence you tried.

Bruno