https://deletejullld.blogspot.com/2022/03/delete-branch-github-command.html