Kiel-SFU
commented
2 years ago Won't fix, as gitignore does not just prevent files from being updated, it prevents them from existing in the repository.
We may have been able to use this solution, but decided not to risk it: https://stackoverflow.com/questions/4348590/how-can-i-make-git-ignore-future-revisions-to-a-file
These files are regenerated with changes each time the scripts are tested. They should be added to the gitignore file, so that the large changes do not show up in almost every commit.
If we want to force pushing changes to these files, anyways, we can use
git add -f <filename>when adding