News for hackers. Stuff that matters.

A comment on Converting a Git repo from tabs to spaces (2016). Parent comment

Re:Converting a Git repo from tabs to spaces (2016) by jayd16 on Friday May 02, 2025 @10:16PM (#43876365)
Ok but why not both checked in and user settings with the user overriding the repo?
[ Parent | on HN ]

There are no comments on this comment yet.