https://oclakj.blogspot.com/2024/03/git-remove-local-branch-not-on-remote.html