https://locaakj.blogspot.com/2022/11/git-remove-local-merge.html