https://waejpdbhml.blogspot.com/2021/07/how-to-remove-file-from-git-in-this.html