https://deletejullld.blogspot.com/2023/07/delete-local-git-branch-but-not-remote.html