A simpler, faster alternative to git-filter-branch for deleting big files and removing passwords from Git history. https://rtyley.github.io/bfg-repo-cleaner/
When git remote branch is deleted, but still appears in ‘branch -a’, you should: git remote show origin git branch -d branch-name git remote prune origin git gc --prune=now