git fsck warnings

[ellerh]

Running git fsck on a freshly cloned repository

git clone https://github.com/Ravenbrook/mps.git
cd mps
git fsck

displays many warnings like

warning` in tree 992cc7bd9a0c98b43a432f97a6d24087cd66ed79: gitignoreSymlink: .gitignore is a symlink

We ended up rewriting the git history because we didn't want to have those warnings in our repo.
We used this for the renaming:

git filter-repo --force \
                --path-rename .gitignore:.renamed-gitignore \
                --path-rename code/.gitignore:code/.renamed-gitignore \
                --path-rename code/w3mv/.gitignore:code/w3mv/.renamed-gitignore \
                --path-rename example/scheme/.gitignore:example/scheme/.renamed-gitignore \
                --path-rename manual/.gitignore:manual/.renamed-gitignore \
                --path-rename manual/source/design/.gitignore:manual/source/design/.renamed-gitignore \
                --path-rename tool/.gitignore:tool/.renamed-gitignore
 
git mv .renamed-gitignore .gitignore
git mv code/.renamed-gitignore code/.gitignore
git mv code/w3mv/.renamed-gitignore code/w3mv/.gitignore
git mv example/scheme/.renamed-gitignore example/scheme/.gitignore
git mv manual/.renamed-gitignore manual/.gitignore
git mv manual/source/design/.renamed-gitignore manual/source/design/.gitignore
git mv tool/.renamed-gitignore tool/.gitignore
git commit -m "Un-rename .gitignore"
 
git fsck