I would do that first since it’s easiest. Once you figure it out, the next easiest thing is to copy that file somewhere else so that you don’t have issues with git conflicting with it. The best solution would be to combine your current strategy with another line to remove the other conflicting setting.
1 Like