[Dune-devel] whitespace hook and files maintaned by upstream projects

[Oliver Sander]

Hi Markus,

> I would propose the following:
> 1. Either reactivate the possibility to deactivate the whitespace-hook
>   on demand. 
> 2. We make a list of the files that are maintained upstream and the
> whitespace-hook automatically ignores whitespace changes in these
> files.
> 
> Personally I would prefer 2 with the list of files being present in
> repository of the DUNE module.
> 

1) sounds like a bug that "simply" needs fixing.  I can't imagine there's
   disagreement on that.
2) I have no objections to this either, if you prefer it.

In general I do think that the whitespace hook is a good idea, even though
it does make me use adult-only language sometimes.

Cheers,
Oliver

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 534 bytes
Desc: OpenPGP digital signature
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20140514/20b44c50/attachment.sig>