https://deletejullld.blogspot.com/2022/07/delete-local-branch-git-eclipse.html