On 01/15/2015 02:15 AM, Artur Malabarba wrote:

Given that `.dir-locals.el' sets `indent-tabs-mode' to nil,

Which one?

does that
mean we prefer spaces for indentation everywhere?
And, if so, would it be acceptable to push a commit that simply converts
a file from tabs to spaces?

Nope. As per previous discussions, you're only really allowed to fix/change indentation in the places you make other, meaningful changes to.

Mostly so that 'git blame' returns meaningful results (it has a -w option, but that makes it even slower).