I think it's fine so long as everyone agrees, or as long as people don't strip the whitespace in the same commit as their actual changes. Half the time the poi

I think it's fine so long as everyone agrees, or as long as people don't strip the whitespace in the same commit as their actual changes. Half the time the pointless whitespace is introduced by an editor that auto-indents for you.