How to Clean Dirty files from a Git Repository
git clone -b <branch> http://<gitlocation>
git clone http:<gitlocation>
git clone --mirror http:<gitlocation>
(bare repo)
I went into the regular clones ( not bare repo )
and deleted all the dirty files from the file system
then I did git add .
, made a commit and pushed the repo.
Then I used the instructions on here.