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