On undoing, fixing, or removing commits in git
easiest method (this article glosses over it): use BFG 2000: <a href="https://rtyley.github.io/bfg-repo-cleaner/" rel="nofollow">https://rtyley.github.io/bfg-repo-cleaner/</a>