https://deletejullld.blogspot.com/2023/05/delete-local-branch-in-github-desktop.html