Chris Packham [off-list ref] wrote:
I did a bit of googling and found
git update-index --assume-unchanged
Which works locally to stop git status from complaining.
Be careful with that, as it's technically meant to be used for another
purpose (e.g. slow filesystems). Notably, git reset --hard will still
kill your local modifications. In your case it seems to be about
automatically generated files so it's no big problem, but it might
still cause a bit of confusion, so I thought I'd warn you anyway.
-Jan