git now ignores userprefs