https://www.wikijana.com/2023/10/git-remove.html