https://deletejullld.blogspot.com/2023/08/deleting-git-branch-not-in-subversion.html