Yes, they are in the repo but we usually have one developer own those and manage the check-ins. That avoids minor differences in those files, which sometimes de

Yes, they are in the repo but we usually have one developer own those and manage the check-ins. That avoids minor differences in those files, which sometimes depend on details of the workstation setup. There's probably a better way to handle this