One of my colaborators uploaded a big data file to our repository. I don't want to download it each I pull or upload it everytime I push.
I followed advice form this question. So I ran:
git rm --cached <file>
After running commit again the file was not longer tracked, at least it said so in the ouput of:
git ls-tree -r main
However when I push it is still being uploaded.
I would like the file to stay in the repo for anyone to download if they wish, but not to be involved in push/pull.