https://blog.walterlv.com/post/remove-files-or-folders-from-git-history.html