On a central git repo, I need to ignore changes to specific files when they are pushed to the repo. I don't want to reject (fail) the entire push, but simply ignore those changes. Is there a git hook I can use that will simply filter out some changes?
I thought about using filters, but I'm not sure they will get used on the central repo as it is "bare", eg., does not have a working copy.
Details: In a scenario similar to this, dozens of devs are pushing changes to those files. I tried using git update-index --assume-unchanged on the central repo, but it gets reset by every push done by a "stray" dev, which is then propagated to the rest of the devs when they pull. I can't change all the devs' repos at once. I want to make the change once on the central repo, then ignore changes to those files.