https://locaakj.blogspot.com/2024/04/git-delete-local-branches-not-on-remote.html