Disallow pushing of new trailing whitespace

Jan Stolarek jan.stolarek at p.lodz.pl
Tue Aug 20 11:59:17 CEST 2013

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?


More information about the ghc-devs mailing list