safely delete a file from git repository,

gitDeleteaFile_tracking.txt

### GIt prem delete a file
git filter-branch -f --index-filter "git rm -rf --cached --ignore-unmatch FOLDERNAME" -- --all
rm -rf .git/refs/original/

### prune entries older than the specified time 
git reflog expire --expire=now --all 

### Cleanup unnecessary files and optimize the local repository; prune object older than now
git gc --prune=now

### 
git gc --aggressive --prune=now