Disallow pushing of new trailing whitespace
Geoffrey Mainland
mainland at apeiron.net
Tue Aug 20 13:21:02 CEST 2013
Would be nice to have. How about a third hook that disallows commits
that include whitespace-only changes unless *all* changes are
whitespace-only? ;)
Geoff
On 08/20/2013 10:59 AM, Jan Stolarek wrote:
> Right now we have a git hook that prevents pushing a file containing tabs, unless that file had them already (in other words: no new files with tabs in our repos). I propose to add similar hook for trailing whitespaces. Herbert says he can implement that. What do others think? Would you find that useful or problematic?
>
> Janek
More information about the ghc-devs
mailing list