https://deletejullld.blogspot.com/2022/05/delete-branch-github-ui.html