I'm a bit worried that both the coworkers, the writer of that comment and everyone else in that thread all somehow don't know to put one line of sed in a githook to fix that problem?

Easily the most trivial objection I've ever seen in the never ending spaces/tab debate.

Many people I know customise their local environment to suit.

https://githooks.com/