Ok but why not both checked in and user settings with the user overriding the re...

		jayd16 9 months ago \| parent \| context \| favorite \| on: Converting a Git repo from tabs to spaces (2016) Ok but why not both checked in and user settings with the user overriding the repo?