Showing posts from June, 2020

Removing credentials from your git repo

It happens... Occasionally a file you REALLY didn't want in your git repo is in there and you don't spot it until several days/months/years later! Worst case is that it's some credentials.
First thing you do is change any affected systems where credentials may have been inadvertently been exposed.
Make a backup of your repo using something like git clone --mirror <repo> Then as per  you can remove the offending file. Don't forget the if the path to your file is in a sub-folder to use the correct slash, most likely "/" even on Windows. git filter-branch --force --index-filter \ "git rm --cached --ignore-unmatch PATH-TO-YOUR-FILE-WITH-SENSITIVE-DATA" \ --prune-empty --tag-name-filter cat -- --allThen you can push your repo up and overwrite what's there.git push origin --force --allOther users may then have to do the followinggit fetch git rese…